The bear eats the squirrel. The bear is blue. The bear is green. The bear is nice. The bear is rough. The bear sees the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel sees the bear. The squirrel visits the bear. If something eats the bear and it visits the bear then the bear eats the squirrel. If something sees the squirrel and it eats the bear then the squirrel is blue. If something is blue and it visits the squirrel then it eats the squirrel. If something visits the squirrel and the squirrel visits the bear then the squirrel sees the bear. If something visits the squirrel and the squirrel visits the bear then it is green. If the bear is green then the bear sees the squirrel. If the squirrel sees the bear and the squirrel is green then the squirrel is nice. If something is blue then it visits the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something eats the bear and it visits the bear then the bear eats the squirrel.
((("something" "eats" "bear" "+") ("something" "visits" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If something sees the squirrel and it eats the bear then the squirrel is blue.
((("something" "sees" "squirrel" "+") ("something" "eats" "bear" "+")) -> ("squirrel" "is" "blue" "+"))
If something is blue and it visits the squirrel then it eats the squirrel.
((("something" "is" "blue" "+") ("something" "visits" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If something visits the squirrel and the squirrel visits the bear then the squirrel sees the bear.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("squirrel" "sees" "bear" "+"))
If something visits the squirrel and the squirrel visits the bear then it is green.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "bear" "+")) -> ("something" "is" "green" "+"))
If the bear is green then the bear sees the squirrel.
((("bear" "is" "green" "+")) -> ("bear" "sees" "squirrel" "+"))
If the squirrel sees the bear and the squirrel is green then the squirrel is nice.
((("squirrel" "sees" "bear" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "nice" "+"))
If something is blue then it visits the squirrel.
((("something" "is" "blue" "+")) -> ("something" "visits" "squirrel" "+"))
The bear eats the squirrel.
True
1
proof
[(triple1 OR ((triple2 triple7) -> rule3) OR ((triple8 triple15) -> rule1) OR ((triple2 ((triple2) -> rule8)) -> rule3))]
("bear" "eats" "squirrel" "+")
triple1
((triple2 triple7) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple8 triple15) -> (rule1 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple2 ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The squirrel does not visit the bear.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "bear" "-")
triple15
The squirrel visits the squirrel.
True
2
proof
[(((triple9) -> rule8))]
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple9) -> rule8))]
("squirrel" "visits" "squirrel" "-")
((triple9) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
True
4
proof
[(((triple9 ((triple9) -> rule8)) -> rule3))]
("squirrel" "eats" "squirrel" "+")
((triple9 ((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((triple9 ((triple9) -> rule8)) -> rule3))]
("squirrel" "eats" "squirrel" "-")
((triple9 ((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the squirrel.[(triple1 OR ((triple2 triple7) -> rule3) OR ((triple8 triple15) -> rule1) OR ((triple2 ((triple2) -> rule8)) -> rule3))] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple7 triple15) -> rule5) OR ((((triple2) -> rule8) triple15) -> rule5))] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear sees the squirrel.[(triple6 OR ((triple3) -> rule6) OR ((((triple7 triple15) -> rule5)) -> rule6) OR ((((((triple2) -> rule8) triple15) -> rule5)) -> rule6))] The bear visits the squirrel.[(triple7 OR ((triple2) -> rule8))] The squirrel eats the bear.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10 OR ((((triple9) -> rule8) triple15) -> rule5))] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12 OR ((triple14 triple10) -> rule7) OR ((((triple7 triple15) -> rule4) triple10) -> rule7) OR ((triple14 ((((triple9) -> rule8) triple15) -> rule5)) -> rule7) OR ((((((triple2) -> rule8) triple15) -> rule4) triple10) -> rule7) OR ((((((triple9) -> rule8) triple15) -> rule4) triple10) -> rule7) OR ((((triple7 triple15) -> rule4) ((((triple9) -> rule8) triple15) -> rule5)) -> rule7) OR ((((((triple2) -> rule8) triple15) -> rule4) ((((triple9) -> rule8) triple15) -> rule5)) -> rule7) OR ((((((triple9) -> rule8) triple15) -> rule4) ((((triple9) -> rule8) triple15) -> rule5)) -> rule7))] The squirrel is rough.[(triple13)] The squirrel sees the bear.[(triple14 OR ((triple7 triple15) -> rule4) OR ((((triple2) -> rule8) triple15) -> rule4) OR ((((triple9) -> rule8) triple15) -> rule4))] The squirrel visits the bear.[(triple15)] @1: The squirrel visits the squirrel.[(((triple9) -> rule8))] @2: The squirrel eats the squirrel.[(((triple9 ((triple9) -> rule8)) -> rule3))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
((triple2 triple7) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple8 triple15) -> (rule1 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple2 ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
((triple7 triple15) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple2) -> (rule8 % int2)) triple15) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
((triple3) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
((((triple7 triple15) -> (rule5 % int2))) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple2) -> (rule8 % int3)) triple15) -> (rule5 % int2))) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
((triple2) -> (rule8 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
((((triple9) -> (rule8 % int2)) triple15) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
((triple14 triple10) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((((triple7 triple15) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int2
((triple14 ((((triple9) -> (rule8 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
((((((triple2) -> (rule8 % int3)) triple15) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
((((((triple9) -> (rule8 % int3)) triple15) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
((((triple7 triple15) -> (rule4 % int4)) ((((triple9) -> (rule8 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int4
((((((triple2) -> (rule8 % int5)) triple15) -> (rule4 % int4)) ((((triple9) -> (rule8 % int3)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int5
((((((triple9) -> (rule8 % int4)) triple15) -> (rule4 % int3)) ((((triple9) -> (rule8 % int4)) triple15) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int3
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
((triple7 triple15) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
((((triple2) -> (rule8 % int2)) triple15) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple9) -> (rule8 % int2)) triple15) -> (rule4 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule8 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple9 ((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2