The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is round. If someone is round and nice then they are blue.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is blue.
True
1
proof
[(triple2 OR ((triple5 triple3) -> rule1))]
("squirrel" "is" "blue" "+")
triple2
((triple5 triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
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 big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple5 triple3) -> rule1))] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
((triple5 triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5