The squirrel is cold. The squirrel is green. The squirrel is young. If the squirrel is kind then the squirrel is green. All red, cold people are young. All green people are kind. Green people are young. Red people are young. If the squirrel is green then the squirrel is young. If the squirrel is red and the squirrel is green then the squirrel is young. All cold, kind people are red.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the squirrel is kind then the squirrel is green.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "green" "+"))
All red, cold people are young.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the squirrel is green then the squirrel is young.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "young" "+"))
If the squirrel is red and the squirrel is green then the squirrel is young.
((("squirrel" "is" "red" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "young" "+"))
All cold, kind people are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
The squirrel is green.
True
1
proof
[(triple2)]
("squirrel" "is" "green" "+")
triple2
The squirrel is not young.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule4) OR ((triple2) -> rule6) OR ((((triple1 ((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((triple1 ((triple2) -> rule3)) -> rule8) triple1) -> rule2) OR ((((triple1 ((triple2) -> rule3)) -> rule8) triple2) -> rule7))]
("squirrel" "is" "young" "-")
triple3
((triple2) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is kind.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("squirrel" "is" "kind" "-")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
True
4
proof
[(((triple1 ((triple2) -> rule3)) -> rule8))]
("squirrel" "is" "red" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is not red.
False
4
inv-proof
[(((triple1 ((triple2) -> rule3)) -> rule8))]
("squirrel" "is" "red" "-")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
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 needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is young.[(triple3 OR ((triple2) -> rule4) OR ((triple2) -> rule6) OR ((((triple1 ((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((triple1 ((triple2) -> rule3)) -> rule8) triple1) -> rule2) OR ((((triple1 ((triple2) -> rule3)) -> rule8) triple2) -> rule7))] @1: The squirrel is kind.[(((triple2) -> rule3))] @2: The squirrel is red.[(((triple1 ((triple2) -> rule3)) -> rule8))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
((triple2) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple1) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((triple1 ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2