The squirrel is big. The squirrel is blue. The squirrel is not kind. The squirrel is red. The squirrel is rough. If someone is blue and not rough then they are big. All rough people are big. Blue people are big. Rough, blue people are big. If the squirrel is not rough then the squirrel is red. If the squirrel is rough and the squirrel is blue then the squirrel is big. If someone is kind and not big then they are red. If someone is kind and not rough then they are red.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone is blue and not rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "big" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Rough, blue people are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If the squirrel is not rough then the squirrel is red.
((("squirrel" "is" "rough" "~")) -> ("squirrel" "is" "red" "+"))
If the squirrel is rough and the squirrel is blue then the squirrel is big.
((("squirrel" "is" "rough" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "big" "+"))
If someone is kind and not big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If someone is kind and not rough then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "+"))
The squirrel is not kind.
True
1
proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The squirrel is kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule3) OR ((triple5) -> rule2) OR ((triple5 triple2) -> rule4) OR ((triple5 triple2) -> rule6))] The squirrel is blue.[(triple2)] The squirrel is not kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple2) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple5) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple5 triple2) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple5 triple2) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5