Anne is furry. Anne is green. Anne is quiet. Anne is rough. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Gary is cold. Gary is quiet. Gary is red. Gary is rough. Gary is round. Rough things are red. Rough, green things are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Rough, green things are quiet.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is red.
True
2
proof
[(((triple4) -> rule1))]
("Anne" "is" "red" "+")
((triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "red" "-")
((triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple4 triple2) -> rule2))] Anne is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10 triple7) -> rule2))] Fiona is red.[(triple9 OR ((triple10) -> rule1))] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Gary is cold.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule1))] Gary is rough.[(triple15)] Gary is round.[(triple16)] @1: Anne is red.[(((triple4) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4 triple2) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple10 triple7) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple15) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Anne is red.
("Anne" "is" "red" "+")
((triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1