The bear chases the rabbit. The bear is blue. The bear is round. The bear is young. The bear needs the cow. The bear does not see the cow. The bear sees the rabbit. The cow chases the bear. The cow is blue. The cow is round. The cow needs the rabbit. The cow sees the bear. The cow sees the rabbit. The rabbit does not need the cow. The rabbit sees the bear. The rabbit sees the cow. If the cow sees the rabbit and the cow is young then the rabbit sees the cow. If something sees the bear and the bear sees the rabbit then the bear chases the cow.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If the cow sees the rabbit and the cow is young then the rabbit sees the cow.
((("cow" "sees" "rabbit" "+") ("cow" "is" "young" "+")) -> ("rabbit" "sees" "cow" "+"))
If something sees the bear and the bear sees the rabbit then the bear chases the cow.
((("something" "sees" "bear" "+") ("bear" "sees" "rabbit" "+")) -> ("bear" "chases" "cow" "+"))
The bear needs the cow.
True
1
proof
[(triple5)]
("bear" "needs" "cow" "+")
triple5
The bear does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "chases" "rabbit" "-")
triple1
The bear chases the cow.
True
3
proof
[(((triple12 triple7) -> rule2) OR ((triple15 triple7) -> rule2))]
("bear" "chases" "cow" "+")
((triple12 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
((triple15 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear does not chase the cow.
False
3
inv-proof
[(((triple12 triple7) -> rule2) OR ((triple15 triple7) -> rule2))]
("bear" "chases" "cow" "-")
((triple12 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
((triple15 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bear chases the rabbit.[(triple1)] The bear does not see the cow.[(triple6)] The bear is blue.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear needs the cow.[(triple5)] The bear sees the rabbit.[(triple7)] The cow chases the bear.[(triple8)] The cow is blue.[(triple9)] The cow is round.[(triple10)] The cow needs the rabbit.[(triple11)] The cow sees the bear.[(triple12)] The cow sees the rabbit.[(triple13)] The rabbit does not need the cow.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The bear chases the cow.[(((triple12 triple7) -> rule2) OR ((triple15 triple7) -> rule2))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple13
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple16
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple12 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
((triple15 triple7) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1