The squirrel is red. All rough people are red. All red people are green. All green people are red. All rough, green people are nice. If someone is red and big then they are nice. All red people are big. All red people are rough. If someone is green and nice then they are big.
The squirrel is red.
("squirrel" "is" "red" "+")
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All rough, green people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
The squirrel is red.
True
1
proof
[(triple1)]
("squirrel" "is" "red" "+")
triple1
The squirrel is not red.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "red" "-")
triple1
The squirrel is rough.
True
2
proof
[(((triple1) -> rule7))]
("squirrel" "is" "rough" "+")
((triple1) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((triple1) -> rule2) ((((triple1) -> rule7) ((triple1) -> rule2)) -> rule4)) -> rule8))]
("squirrel" "is" "big" "-")
((triple1) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule7 % int3)) ((triple1) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is nice.
True
4
proof
[(((triple1 ((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule7) ((triple1) -> rule2)) -> rule4))]
("squirrel" "is" "nice" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is not nice.
False
4
inv-proof
[(((triple1 ((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule7) ((triple1) -> rule2)) -> rule4))]
("squirrel" "is" "nice" "-")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
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 red.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule6) OR ((((triple1) -> rule2) ((((triple1) -> rule7) ((triple1) -> rule2)) -> rule4)) -> rule8))] The squirrel is green.[(((triple1) -> rule2))] The squirrel is rough.[(((triple1) -> rule7))] @2: The squirrel is nice.[(((triple1 ((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule7) ((triple1) -> rule2)) -> rule4))]
The squirrel is red.
("squirrel" "is" "red" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple1) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule7 % int3)) ((triple1) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3