Fiona is cold. Fiona is quiet. Fiona is red. Red things are young. If Fiona is cold and Fiona is red then Fiona is quiet. If something is red then it is white.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Fiona is cold and Fiona is red then Fiona is quiet.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is red then it is white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "red" "-")
triple3
Fiona is young.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "young" "+")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "young" "-")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is cold.[(triple1)] Fiona is quiet.[(triple2 OR ((triple1 triple3) -> rule2))] Fiona is red.[(triple3)] @1: Fiona is white.[(((triple3) -> rule3))] Fiona is young.[(((triple3) -> rule1))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1