The squirrel is blue. The squirrel is cold. The squirrel is red. All cold, green things are round. If something is red and green then it is round. Cold, round things are green.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
All cold, green things are round.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is red and green then it is round.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Cold, round things are green.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
The squirrel is cold.
True
1
proof
[(triple2)]
("squirrel" "is" "cold" "+")
triple2
The squirrel is not cold.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "cold" "-")
triple2
The squirrel is not green.
Unknown
inv-rconc
[@2: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is red.[(triple3)]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3