The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is red. The squirrel is rough. All rough, blue people are kind. All red, blue people are rough. All red, rough people are big.
The squirrel is big.
("squirrel" "is" "big" "+")
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" "+")
All rough, blue people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All red, blue people are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All red, rough people are big.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The squirrel is blue.
True
1
proof
[(triple2)]
("squirrel" "is" "blue" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "blue" "-")
triple2
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 visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is big.[(triple1 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple4 triple2) -> rule2)) -> rule3))] The squirrel is blue.[(triple2)] The squirrel is kind.[(triple3 OR ((triple5 triple2) -> rule1) OR ((((triple4 triple2) -> rule2) triple2) -> rule1))] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5 OR ((triple4 triple2) -> rule2))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple4 triple5) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple4 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
((triple5 triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple4 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
((triple4 triple2) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1