The squirrel is round. Green, red people are round. Round people are big. If the squirrel is red and the squirrel is green then the squirrel is big.
The squirrel is round.
("squirrel" "is" "round" "+")
Green, red people are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If the squirrel is red and the squirrel is green then the squirrel is big.
((("squirrel" "is" "red" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "big" "+"))
The squirrel is round.
True
1
proof
[(triple1)]
("squirrel" "is" "round" "+")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "round" "-")
triple1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The squirrel is round.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule2))]
The squirrel is round.
("squirrel" "is" "round" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple1) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1