Anne is big. Anne is furry. Anne is red. Anne is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is rough. Charlie is white. Fiona is white. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is round. If something is furry and round then it is white. If Anne is furry then Anne is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is furry and round then it is white.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If Anne is furry then Anne is green.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple7)]
("Charlie" "is" "green" "+")
triple7
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Anne is green.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "green" "+")
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple12 triple16) -> rule1))]
("Gary" "is" "white" "-")
((triple12 triple16) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Fiona is white.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is round.[(triple16)] @1: Anne is green.[(((triple2) -> rule2))] Gary is white.[(((triple12 triple16) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple12 triple16) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1