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