The squirrel is big. The squirrel is not green. The squirrel is kind. If the squirrel is blue then the squirrel is cold. Big people are not green. If someone is big and kind then they are blue.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If the squirrel is blue then the squirrel is cold.
((("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "cold" "+"))
Big people are not green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is not green.
True
1
proof
[(triple2 OR ((triple1) -> rule2))]
("squirrel" "is" "green" "-")
triple2
((triple1) -> (rule2 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The squirrel is blue.
True
3
proof
[(((triple1 triple3) -> rule3))]
("squirrel" "is" "blue" "+")
((triple1 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("squirrel" "is" "blue" "-")
((triple1 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
True
4
proof
[(((((triple1 triple3) -> rule3)) -> rule1))]
("squirrel" "is" "cold" "+")
((((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not cold.
False
4
inv-proof
[(((((triple1 triple3) -> rule3)) -> rule1))]
("squirrel" "is" "cold" "-")
((((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple3)] The squirrel is not green.[(triple2 OR ((triple1) -> rule2))] @1: The squirrel is blue.[(((triple1 triple3) -> rule3))] @2: The squirrel is cold.[(((((triple1 triple3) -> rule3)) -> rule1))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is not green.
("squirrel" "is" "green" "-")
triple2
((triple1) -> (rule2 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1 triple3) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2