The squirrel is not big. The squirrel is nice. The squirrel is red. The squirrel is not rough. The squirrel is round. All red, big things are nice. All red things are round. If something is round then it is red.
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
All red, big things are nice.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
The squirrel is red.
True
1
proof
[(triple3 OR ((triple5) -> rule3))]
("squirrel" "is" "red" "+")
triple3
((triple5) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is rough.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "rough" "+")
triple4
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
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 nice.[(triple2)] The squirrel is not big.[(triple1)] The squirrel is not rough.[(triple4)] The squirrel is red.[(triple3 OR ((triple5) -> rule3))] The squirrel is round.[(triple5 OR ((triple3) -> rule2))]
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple2
The squirrel is not big.
("squirrel" "is" "big" "-")
triple1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
((triple5) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
((triple3) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1