The bear is cold. The bear is kind. The bear is red. The bear does not need the cat. The cat is cold. The cat is kind. The cat is nice. The cat likes the bear. The cat does not need the rabbit. The cat sees the bear. The cat sees the rabbit. The rabbit is nice. The rabbit likes the cat. The rabbit sees the bear. The rabbit sees the cat. If the cat needs the bear then the bear needs the rabbit. If someone sees the cat and the cat is kind then they like the cat. If someone needs the bear and they are young then the bear does not see the cat. If someone likes the cat and they see the bear then they like the rabbit. If someone sees the cat and the cat is nice then the cat likes the rabbit. If the cat likes the bear and the cat likes the rabbit then the rabbit likes the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not need the cat.
("bear" "needs" "cat" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the cat needs the bear then the bear needs the rabbit.
((("cat" "needs" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If someone sees the cat and the cat is kind then they like the cat.
((("someone" "sees" "cat" "+") ("cat" "is" "kind" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the bear and they are young then the bear does not see the cat.
((("someone" "needs" "bear" "+") ("someone" "is" "young" "+")) -> ("bear" "sees" "cat" "-"))
If someone likes the cat and they see the bear then they like the rabbit.
((("someone" "likes" "cat" "+") ("someone" "sees" "bear" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone sees the cat and the cat is nice then the cat likes the rabbit.
((("someone" "sees" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "likes" "rabbit" "+"))
If the cat likes the bear and the cat likes the rabbit then the rabbit likes the bear.
((("cat" "likes" "bear" "+") ("cat" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bear" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple12)]
("rabbit" "is" "nice" "-")
triple12
The rabbit likes the rabbit.
True
3
proof
[(((triple13 triple14) -> rule4) OR ((((triple15 triple6) -> rule2) triple14) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple13 triple14) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple15 triple6) -> (rule2 % int2)) triple14) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The cat does not like the rabbit.
False
3
inv-proof
[(((triple15 triple7) -> rule5))]
("cat" "likes" "rabbit" "-")
((triple15 triple7) -> (rule5 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the bear.
True
5
proof
[(((triple8 ((triple15 triple7) -> rule5)) -> rule6))]
("rabbit" "likes" "bear" "+")
((triple8 ((triple15 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The rabbit does not like the bear.
False
5
inv-proof
[(((triple8 ((triple15 triple7) -> rule5)) -> rule6))]
("rabbit" "likes" "bear" "-")
((triple8 ((triple15 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The bear does not like the cat.
Unknown
inv-rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "cat" "-")
The bear needs the rabbit.
Unknown
rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "rabbit" "+")
The bear does not like the rabbit.
Unknown
inv-rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "rabbit" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The rabbit does not need the cat.
Unknown
inv-random
[@0: The rabbit needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cat" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bear does not need the cat.[(triple4)] The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The cat does not need the rabbit.[(triple9)] The cat is cold.[(triple5)] The cat is kind.[(triple6)] The cat is nice.[(triple7)] The cat likes the bear.[(triple8)] The cat sees the bear.[(triple10)] The cat sees the rabbit.[(triple11)] The rabbit is nice.[(triple12)] The rabbit likes the cat.[(triple13 OR ((triple15 triple6) -> rule2))] The rabbit sees the bear.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The cat likes the rabbit.[(((triple15 triple7) -> rule5))] The rabbit likes the rabbit.[(((triple13 triple14) -> rule4) OR ((((triple15 triple6) -> rule2) triple14) -> rule4))] @2: The rabbit likes the bear.[(((triple8 ((triple15 triple7) -> rule5)) -> rule6))]
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
triple9
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
triple8
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple13
((triple15 triple6) -> (rule2 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((triple15 triple7) -> (rule5 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple13 triple14) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
((((triple15 triple6) -> (rule2 % int2)) triple14) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple8 ((triple15 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2