The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is not red. All nice, red people are blue. If someone is green then they are blue. If someone is big and nice then they are green. If someone is green then they are big. All blue, green people are not red. If the squirrel is big and the squirrel is nice then the squirrel is blue.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
All nice, red people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All blue, green people are not red.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "-"))
If the squirrel is big and the squirrel is nice then the squirrel is blue.
((("squirrel" "is" "big" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "blue" "+"))
The squirrel is nice.
True
1
proof
[(triple4)]
("squirrel" "is" "nice" "+")
triple4
The squirrel is red.
False
1
inv-proof
[(triple5 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple1 triple4) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple1 triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) triple3) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5))]
("squirrel" "is" "red" "+")
triple5
((triple2 triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
((triple2 ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple3) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1 triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((triple1 triple4) -> (rule6 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple3) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
((((((triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple3) -> (rule4 % int4)) triple4) -> (rule6 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
int4
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is big.[(triple1 OR ((triple3) -> rule4))] The squirrel is blue.[(triple2 OR ((triple3) -> rule2) OR ((triple1 triple4) -> rule6) OR ((((triple1 triple4) -> rule3)) -> rule2) OR ((((triple3) -> rule4) triple4) -> rule6))] The squirrel is green.[(triple3 OR ((triple1 triple4) -> rule3))] The squirrel is nice.[(triple4)] The squirrel is not red.[(triple5 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple1 triple4) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple1 triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) triple3) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
((triple3) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple1 triple4) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((((triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
((triple1 triple4) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is not red.
("squirrel" "is" "red" "-")
triple5
((triple2 triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
((triple2 ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple3) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1 triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((triple1 triple4) -> (rule6 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple3) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
((((((triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple1 triple4) -> (rule3 % int3))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple3) -> (rule4 % int4)) triple4) -> (rule6 % int3)) ((triple1 triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
int4