The squirrel is cold. The squirrel is rough. The squirrel is round. If the squirrel is nice and the squirrel is cold then the squirrel is round. If the squirrel is nice then the squirrel is rough. Cold things are red. If something is nice and cold then it is rough. If something is nice then it is cold. If something is red and round then it is cold. If the squirrel is red and the squirrel is round then the squirrel is nice. If the squirrel is red then the squirrel is cold.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If the squirrel is nice and the squirrel is cold then the squirrel is round.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "round" "+"))
If the squirrel is nice then the squirrel is rough.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "rough" "+"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is nice and cold then it is rough.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is red and round then it is cold.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If the squirrel is red and the squirrel is round then the squirrel is nice.
((("squirrel" "is" "red" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "nice" "+"))
If the squirrel is red then the squirrel is cold.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "cold" "+"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "-")
triple3
The squirrel is red.
True
2
proof
[(((triple1) -> rule3))]
("squirrel" "is" "red" "+")
((triple1) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("squirrel" "is" "red" "-")
((triple1) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
True
4
proof
[(((((triple1) -> rule3) triple3) -> rule7))]
("squirrel" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not nice.
False
4
inv-proof
[(((((triple1) -> rule3) triple3) -> rule7))]
("squirrel" "is" "nice" "-")
((((triple1) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
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 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 rough.[(triple2 OR ((((((triple1) -> rule3) triple3) -> rule7)) -> rule2) OR ((((((triple1) -> rule3) triple3) -> rule7) triple1) -> rule4))] The squirrel is round.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule3))] @2: The squirrel is nice.[(((((triple1) -> rule3) triple3) -> rule7))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple2
((((((triple1) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple1) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2