The bear is cold. The bear likes the dog. The bear needs the dog. The bear sees the cat. The cat is rough. The cat needs the rabbit. The cat sees the rabbit. The dog is rough. The dog likes the rabbit. The rabbit is big. The rabbit is round. The rabbit is young. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the bear. If something needs the dog and the dog needs the cat then the dog likes the bear. If something sees the bear then it is big.
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something needs the dog and the dog needs the cat then the dog likes the bear.
((("something" "needs" "dog" "+") ("dog" "needs" "cat" "+")) -> ("dog" "likes" "bear" "+"))
If something sees the bear then it is big.
((("something" "sees" "bear" "+")) -> ("something" "is" "big" "+"))
The rabbit needs the dog.
True
1
proof
[(triple14)]
("rabbit" "needs" "dog" "+")
triple14
The rabbit is not round.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "round" "-")
triple11
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is cold.[(triple1)] The bear likes the dog.[(triple2)] The bear needs the dog.[(triple3)] The bear sees the cat.[(triple4)] The cat is rough.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the rabbit.[(triple7)] The dog is rough.[(triple8)] The dog likes the rabbit.[(triple9)] The rabbit is big.[(triple10 OR ((triple15) -> rule2))] The rabbit is round.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit sees the bear.[(triple15)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
((triple15) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple13
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15