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