The squirrel is cold. The squirrel is red. The squirrel is rough. All cold, big people are blue. Blue people are big. If someone is red and rough then they are blue.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
All cold, big people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is red.
True
1
proof
[(triple2)]
("squirrel" "is" "red" "+")
triple2
The squirrel is not rough.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "rough" "-")
triple3
The squirrel is blue.
True
3
proof
[(((triple2 triple3) -> rule3))]
("squirrel" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("squirrel" "is" "blue" "-")
((triple2 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is big.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule2))]
("squirrel" "is" "big" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not big.
False
4
inv-proof
[(((((triple2 triple3) -> rule3)) -> rule2))]
("squirrel" "is" "big" "-")
((((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "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 cold.[(triple1)] The squirrel is red.[(triple2)] The squirrel is rough.[(triple3)] @1: The squirrel is blue.[(((triple2 triple3) -> rule3))] @2: The squirrel is big.[(((((triple2 triple3) -> rule3)) -> rule2))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is red.
("squirrel" "is" "red" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2