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