Anne is green. Anne is red. Anne is rough. Anne is round. Anne is white. Erin is big. Erin is red. Erin is round. Erin is white. Gary is green. Green, big things are red. If something is big and round then it is cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Green, big things are red.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is big and round then it is cold.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Anne is rough.
True
1
proof
[(triple3)]
("Anne" "is" "rough" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple10)]
("Gary" "is" "green" "-")
triple10
Erin is cold.
True
3
proof
[(((triple6 triple8) -> rule2))]
("Erin" "is" "cold" "+")
((triple6 triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple6 triple8) -> rule2))]
("Erin" "is" "cold" "-")
((triple6 triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Erin is big.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9)] Gary is green.[(triple10)] @1: Erin is cold.[(((triple6 triple8) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple6 triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1