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