Anne is big. Anne is rough. Charlie is big. Charlie is furry. Erin is big. Erin is furry. Gary is round. Rough, big things are cold. Furry things are blue. All cold, round things are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Rough, big things are cold.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All cold, round things are blue.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Erin is not furry.
False
1
inv-proof
[(triple6)]
("Erin" "is" "furry" "-")
triple6
Anne is cold.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "blue" "-")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
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 rough.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Gary is round.[(triple7)] @1: Anne is cold.[(((triple2 triple1) -> rule1))] Charlie is blue.[(((triple4) -> rule2))] Erin is blue.[(((triple6) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1