The squirrel is cold. The squirrel is green. The squirrel is round. If someone is blue and green then they are round. If someone is blue then they are green. If the squirrel is cold and the squirrel is green then the squirrel is red. Red, cold people are blue. All cold, green people are round. If the squirrel is red and the squirrel is green then the squirrel is blue.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If the squirrel is cold and the squirrel is green then the squirrel is red.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "red" "+"))
Red, cold people are blue.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All cold, green people are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If the squirrel is red and the squirrel is green then the squirrel is blue.
((("squirrel" "is" "red" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel is round.
True
1
proof
[(triple3 OR ((triple1 triple2) -> rule5) OR ((((((triple1 triple2) -> rule3) triple1) -> rule4) triple2) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule6) triple2) -> rule1))]
("squirrel" "is" "round" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is red.
True
3
proof
[(((triple1 triple2) -> rule3))]
("squirrel" "is" "red" "+")
((triple1 triple2) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("squirrel" "is" "red" "-")
((triple1 triple2) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "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 cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is round.[(triple3 OR ((triple1 triple2) -> rule5) OR ((((((triple1 triple2) -> rule3) triple1) -> rule4) triple2) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule6) triple2) -> rule1))] @1: The squirrel is red.[(((triple1 triple2) -> rule3))] @2: The squirrel is blue.[(((((triple1 triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) triple2) -> rule6))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple1 triple2) -> (rule3 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1 triple2) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple1 triple2) -> (rule3 % int2)) triple2) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2