The squirrel is kind. The squirrel is nice. The squirrel is red. If something is nice and kind then it is red. If something is green and young then it is red. If the squirrel is kind and the squirrel is young then the squirrel is nice. If something is red and green then it is young. If something is red and green then it is kind. If the squirrel is green then the squirrel is kind. All kind, red things are green. If something is red and green then it is young.
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something is nice and kind then it is red.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is green and young then it is red.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If the squirrel is kind and the squirrel is young then the squirrel is nice.
((("squirrel" "is" "kind" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "is" "nice" "+"))
If something is red and green then it is young.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is red and green then it is kind.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If the squirrel is green then the squirrel is kind.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "kind" "+"))
All kind, red things are green.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is red and green then it is young.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
The squirrel is kind.
True
1
proof
[(triple1)]
("squirrel" "is" "kind" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "kind" "-")
triple1
The squirrel is green.
True
3
proof
[(((triple1 triple3) -> rule7) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule7))]
("squirrel" "is" "green" "+")
((triple1 triple3) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((triple1 triple3) -> rule7) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule7))]
("squirrel" "is" "green" "-")
((triple1 triple3) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is young.
True
5
proof
[(((triple3 ((triple1 triple3) -> rule7)) -> rule4) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8))]
("squirrel" "is" "young" "+")
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is not young.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule7)) -> rule4) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8))]
("squirrel" "is" "young" "-")
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is kind.[(triple1)] The squirrel is nice.[(triple2 OR ((triple1 ((triple3 ((triple1 triple3) -> rule7)) -> rule4)) -> rule3) OR ((triple1 ((triple3 ((triple1 triple3) -> rule7)) -> rule8)) -> rule3))] The squirrel is red.[(triple3 OR ((triple2 triple1) -> rule1))] @1: The squirrel is green.[(((triple1 triple3) -> rule7) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule7))] @2: The squirrel is young.[(((triple3 ((triple1 triple3) -> rule7)) -> rule4) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((triple3 ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule1) ((triple1 ((triple2 triple1) -> rule1)) -> rule7)) -> rule8))]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple2
((triple1 ((triple3 ((triple1 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((triple1 ((triple3 ((triple1 triple3) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1 triple3) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple1 ((triple2 triple1) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple3 ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple1 ((triple2 triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3