The bear chases the cat. The bear is young. The bear likes the dog. The bear does not need the dog. The cat is not blue. The cat likes the bear. The cat needs the dog. The dog chases the cat. The dog is blue. The dog is kind. The dog is young. The rabbit chases the bear. The rabbit does not chase the dog. The rabbit is round. The rabbit likes the bear. The rabbit likes the cat. If someone is blue and they chase the bear then the bear chases the cat. If someone chases the rabbit then the rabbit does not chase the cat. If someone likes the dog then they need the cat. If someone needs the rabbit and the rabbit likes the dog then the dog is kind. If someone is blue and they chase the rabbit then the rabbit likes the dog. If someone needs the bear then they are kind.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear does not need the dog.
("bear" "needs" "dog" "-")
The cat is not blue.
("cat" "is" "blue" "-")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If someone is blue and they chase the bear then the bear chases the cat.
((("someone" "is" "blue" "+") ("someone" "chases" "bear" "+")) -> ("bear" "chases" "cat" "+"))
If someone chases the rabbit then the rabbit does not chase the cat.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "cat" "-"))
If someone likes the dog then they need the cat.
((("someone" "likes" "dog" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the rabbit and the rabbit likes the dog then the dog is kind.
((("someone" "needs" "rabbit" "+") ("rabbit" "likes" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone is blue and they chase the rabbit then the rabbit likes the dog.
((("someone" "is" "blue" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If someone needs the bear then they are kind.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "kind" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The bear needs the dog.
False
1
inv-proof
[(triple4)]
("bear" "needs" "dog" "+")
triple4
The bear needs the cat.
True
2
proof
[(((triple3) -> rule3))]
("bear" "needs" "cat" "+")
((triple3) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear does not need the cat.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "needs" "cat" "-")
((triple3) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "kind" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The bear does not need the dog.[(triple4)] The bear is young.[(triple2)] The bear likes the dog.[(triple3)] The cat is not blue.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the dog.[(triple7)] The dog chases the cat.[(triple8)] The dog is blue.[(triple9)] The dog is kind.[(triple10)] The dog is young.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit does not chase the dog.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The bear needs the cat.[(((triple3) -> rule3))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not need the dog.
("bear" "needs" "dog" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The cat is not blue.
("cat" "is" "blue" "-")
triple5
The cat likes the bear.
("cat" "likes" "bear" "+")
triple6
The cat needs the dog.
("cat" "needs" "dog" "+")
triple7
The dog chases the cat.
("dog" "chases" "cat" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple12
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple16
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple3) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1