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