The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is not rough. The squirrel is young. Rough things are blue. All green things are blue. Rough, blue things are kind.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Rough, blue things are kind.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
The squirrel is not rough.
True
1
proof
[(triple4)]
("squirrel" "is" "rough" "-")
triple4
The squirrel is not young.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "young" "-")
triple5
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "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 ((triple2) -> rule2))] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is not rough.[(triple4)] The squirrel is young.[(triple5)]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
((triple2) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5