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