The bear eats the rabbit. The bear likes the dog. The bear likes the rabbit. The bear needs the cow. The bear needs the dog. The cow eats the rabbit. The cow is big. The cow likes the dog. The cow likes the rabbit. The cow needs the dog. The dog eats the bear. The dog eats the rabbit. The dog needs the cow. The rabbit likes the bear. The rabbit likes the cow. If someone eats the rabbit and the rabbit likes the bear then the rabbit likes the dog. If someone eats the bear and they are big then they like the cow.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone eats the rabbit and the rabbit likes the bear then the rabbit likes the dog.
((("someone" "eats" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("rabbit" "likes" "dog" "+"))
If someone eats the bear and they are big then they like the cow.
((("someone" "eats" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "cow" "+"))
The cow eats the rabbit.
True
1
proof
[(triple6)]
("cow" "eats" "rabbit" "+")
triple6
The cow is not big.
False
1
inv-proof
[(triple7)]
("cow" "is" "big" "-")
triple7
The rabbit likes the dog.
True
3
proof
[(((triple1 triple14) -> rule1) OR ((triple12 triple14) -> rule1) OR ((triple6 triple14) -> rule1))]
("rabbit" "likes" "dog" "+")
((triple1 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple12 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple6 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit does not like the dog.
False
3
inv-proof
[(((triple1 triple14) -> rule1) OR ((triple12 triple14) -> rule1) OR ((triple6 triple14) -> rule1))]
("rabbit" "likes" "dog" "-")
((triple1 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple12 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple6 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog does not like the cow.
Unknown
inv-rconc
[@1: The dog likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "cow" "-")
The bear likes the cow.
Unknown
rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "cow" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit eats the dog.
Unknown
random
[@0: The rabbit eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "dog" "+")
@0: The bear eats the rabbit.[(triple1)] The bear likes the dog.[(triple2)] The bear likes the rabbit.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the dog.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is big.[(triple7)] The cow likes the dog.[(triple8)] The cow likes the rabbit.[(triple9)] The cow needs the dog.[(triple10)] The dog eats the bear.[(triple11)] The dog eats the rabbit.[(triple12)] The dog needs the cow.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the cow.[(triple15)] @1: The rabbit likes the dog.[(((triple1 triple14) -> rule1) OR ((triple12 triple14) -> rule1) OR ((triple6 triple14) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow likes the dog.
("cow" "likes" "dog" "+")
triple8
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple9
The cow needs the dog.
("cow" "needs" "dog" "+")
triple10
The dog eats the bear.
("dog" "eats" "bear" "+")
triple11
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple12
The dog needs the cow.
("dog" "needs" "cow" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple15
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple1 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple12 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple6 triple14) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1