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