The squirrel is rough. If the squirrel is big and the squirrel is green then the squirrel is rough. Blue, green things are big. All green things are blue.
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the squirrel is big and the squirrel is green then the squirrel is rough.
((("squirrel" "is" "big" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "rough" "+"))
Blue, green things are big.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
The squirrel is rough.
True
1
proof
[(triple1)]
("squirrel" "is" "rough" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "rough" "-")
triple1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The squirrel is rough.[(triple1)]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1