The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is not young. If someone is red then they are not young. If someone is green and big then they are red.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
If someone is red then they are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone is green and big then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
The squirrel is red.
True
1
proof
[(triple4 OR ((triple2 triple1) -> rule2))]
("squirrel" "is" "red" "+")
triple4
((triple2 triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
1
inv-proof
[(triple4 OR ((triple2 triple1) -> rule2))]
("squirrel" "is" "red" "-")
triple4
((triple2 triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
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)] The squirrel is nice.[(triple3)] The squirrel is not young.[(triple5 OR ((triple4) -> rule1) OR ((((triple2 triple1) -> rule2)) -> rule1))] The squirrel is red.[(triple4 OR ((triple2 triple1) -> rule2))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is not young.
("squirrel" "is" "young" "-")
triple5
((triple4) -> (rule1 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
((((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
((triple2 triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1