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