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