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