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