The bear chases the squirrel. The bear eats the squirrel. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear is young. The bear needs the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel needs the bear. If someone needs the bear and the bear chases the squirrel then the bear needs the squirrel. If someone is round and rough then they chase the bear. If the squirrel needs the bear and the bear needs the squirrel then the squirrel eats the bear. If someone needs the squirrel then the squirrel chases the bear. If the bear is kind and the bear does not eat the squirrel then the bear is not round. If someone needs the squirrel and they are not young then they do not eat the bear. If someone chases the squirrel then the squirrel is rough. If someone eats the squirrel then they need the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone needs the bear and the bear chases the squirrel then the bear needs the squirrel.
((("someone" "needs" "bear" "+") ("bear" "chases" "squirrel" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone is round and rough then they chase the bear.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "bear" "+"))
If the squirrel needs the bear and the bear needs the squirrel then the squirrel eats the bear.
((("squirrel" "needs" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone needs the squirrel then the squirrel chases the bear.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
If the bear is kind and the bear does not eat the squirrel then the bear is not round.
((("bear" "is" "kind" "+") ("bear" "eats" "squirrel" "~")) -> ("bear" "is" "round" "-"))
If someone needs the squirrel and they are not young then they do not eat the bear.
((("someone" "needs" "squirrel" "+") ("someone" "is" "young" "~")) -> ("someone" "eats" "bear" "-"))
If someone chases the squirrel then the squirrel is rough.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone eats the squirrel then they need the bear.
((("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
The squirrel is kind.
True
1
proof
[(triple11)]
("squirrel" "is" "kind" "+")
triple11
The squirrel is not round.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "round" "-")
triple14
The bear chases the bear.
True
3
proof
[(((triple6 triple5) -> rule2))]
("bear" "chases" "bear" "+")
((triple6 triple5) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple2) -> rule8))]
("bear" "needs" "bear" "-")
((triple2) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear needs the squirrel.[(triple8 OR ((triple16 triple1) -> rule1) OR ((((triple2) -> rule8) triple1) -> rule1))] The squirrel chases the bear.[(triple9 OR ((triple8) -> rule4) OR ((triple14 triple13) -> rule2) OR ((((triple16 triple1) -> rule1)) -> rule4) OR ((triple14 ((triple1) -> rule7)) -> rule2) OR ((((((triple2) -> rule8) triple1) -> rule1)) -> rule4))] The squirrel eats the bear.[(triple10 OR ((triple16 triple8) -> rule3) OR ((triple16 ((triple16 triple1) -> rule1)) -> rule3) OR ((triple16 ((((triple2) -> rule8) triple1) -> rule1)) -> rule3))] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13 OR ((triple1) -> rule7))] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple6 triple5) -> rule2))] The bear needs the bear.[(((triple2) -> rule8))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple8
((triple16 triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
((((triple2) -> (rule8 % int2)) triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
((triple8) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((triple14 triple13) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((((triple16 triple1) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((triple14 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((((triple2) -> (rule8 % int3)) triple1) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple10
((triple16 triple8) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((triple16 ((triple16 triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((triple16 ((((triple2) -> (rule8 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
((triple1) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple6 triple5) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple2) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1