The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel is rough. All nice people are kind. Big, kind people are green. If someone is kind then they are rough. If someone is kind and big then they are rough. If someone is nice and not kind then they are big. If the squirrel is big and the squirrel is not green then the squirrel is rough.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Big, kind people are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and not kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "+"))
If the squirrel is big and the squirrel is not green then the squirrel is rough.
((("squirrel" "is" "big" "+") ("squirrel" "is" "green" "~")) -> ("squirrel" "is" "rough" "+"))
The squirrel is kind.
True
1
proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The squirrel is not rough.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule3) OR ((triple3 triple1) -> rule4))]
("squirrel" "is" "rough" "-")
triple5
((triple3) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
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 eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple1 triple3) -> rule2))] The squirrel is kind.[(triple3)] The squirrel is not nice.[(triple4)] The squirrel is rough.[(triple5 OR ((triple3) -> rule3) OR ((triple3 triple1) -> rule4))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
((triple3) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1