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