The bear is big. The bear is rough. The cow chases the rabbit. The cow chases the squirrel. The cow is rough. The cow is young. The cow sees the squirrel. The rabbit chases the bear. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is nice. The squirrel needs the bear. The squirrel needs the cow. The squirrel sees the cow. If something sees the bear and the bear sees the squirrel then it is rough. If the cow is young and the cow needs the rabbit then the cow sees the bear. If the rabbit chases the bear then the bear sees the squirrel. If something needs the bear then the bear needs the squirrel. If something needs the bear then it is blue. If something is young then it sees the cow.
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something sees the bear and the bear sees the squirrel then it is rough.
((("something" "sees" "bear" "+") ("bear" "sees" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If the cow is young and the cow needs the rabbit then the cow sees the bear.
((("cow" "is" "young" "+") ("cow" "needs" "rabbit" "+")) -> ("cow" "sees" "bear" "+"))
If the rabbit chases the bear then the bear sees the squirrel.
((("rabbit" "chases" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If something needs the bear then the bear needs the squirrel.
((("something" "needs" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If something needs the bear then it is blue.
((("something" "needs" "bear" "+")) -> ("something" "is" "blue" "+"))
If something is young then it sees the cow.
((("something" "is" "young" "+")) -> ("something" "sees" "cow" "+"))
The rabbit sees the squirrel.
True
1
proof
[(triple10)]
("rabbit" "sees" "squirrel" "+")
triple10
The rabbit does not chase the bear.
False
1
inv-proof
[(triple8)]
("rabbit" "chases" "bear" "-")
triple8
The squirrel is blue.
True
2
proof
[(((triple14) -> rule5))]
("squirrel" "is" "blue" "+")
((triple14) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple6) -> rule6))]
("cow" "sees" "cow" "-")
((triple6) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The rabbit is rough.
True
4
proof
[(((triple9 ((triple8) -> rule3)) -> rule1))]
("rabbit" "is" "rough" "+")
((triple9 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The rabbit is not rough.
False
4
inv-proof
[(((triple9 ((triple8) -> rule3)) -> rule1))]
("rabbit" "is" "rough" "-")
((triple9 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear does not see the cow.
Unknown
inv-rconc
[@1: The bear sees the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "cow" "-")
The rabbit sees the cow.
Unknown
rconc
[@1: The rabbit sees the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "sees" "cow" "+")
The cow does not see the bear.
Unknown
inv-rconc
[@1: The cow sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The cow does not need the squirrel.
Unknown
inv-random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "-")
The rabbit needs the cow.
Unknown
random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "+")
@0: The bear is big.[(triple1)] The bear is rough.[(triple2)] The cow chases the rabbit.[(triple3)] The cow chases the squirrel.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow sees the squirrel.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The bear needs the squirrel.[(((triple14) -> rule4))] The bear sees the squirrel.[(((triple8) -> rule3))] The cow sees the cow.[(((triple6) -> rule6))] The squirrel is blue.[(((triple14) -> rule5))] @2: The rabbit is rough.[(((triple9 ((triple8) -> rule3)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple8
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple9
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple16
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple14) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple8) -> (rule3 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple6) -> (rule6 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple14) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple9 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2