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