The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. Red, young people are kind. Rough, red people are kind.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
Red, young people are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Rough, red people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
The squirrel is young.
True
1
proof
[(triple5)]
("squirrel" "is" "young" "+")
triple5
The squirrel is not young.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "young" "-")
triple5
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2 OR ((triple3 triple5) -> rule1) OR ((triple4 triple3) -> rule2))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
((triple3 triple5) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((triple4 triple3) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5