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