The squirrel is big. If the squirrel is nice and the squirrel is big then the squirrel is not round. Round, green things are red. If something is round and nice then it is red. If the squirrel is red then the squirrel is big. All green things are not round. If something is nice then it is round. If the squirrel is big and the squirrel is not nice then the squirrel is not red. Big, nice things are green.
The squirrel is big.
("squirrel" "is" "big" "+")
If the squirrel is nice and the squirrel is big then the squirrel is not round.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "is" "round" "-"))
Round, green things are red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is round and nice then it is red.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If the squirrel is red then the squirrel is big.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "big" "+"))
All green things are not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If the squirrel is big and the squirrel is not nice then the squirrel is not red.
((("squirrel" "is" "big" "+") ("squirrel" "is" "nice" "~")) -> ("squirrel" "is" "red" "-"))
Big, nice things are green.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
The squirrel is big.
True
1
proof
[(triple1)]
("squirrel" "is" "big" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "round" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is big.[(triple1)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1