The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. Green things are young. If something is red then it is big. If something is kind then it is green.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
The squirrel is kind.
True
1
proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "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 ((triple4) -> rule2))] The squirrel is green.[(triple2 OR ((triple3) -> rule3))] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
((triple2) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2