The bear eats the rabbit. The cat eats the dog. The cat is blue. The cat does not see the bear. The dog eats the bear. The dog eats the cat. The dog eats the rabbit. The rabbit does not eat the bear. The rabbit is blue. The rabbit likes the cat. If the dog is blue then the dog does not like the rabbit. If someone is kind then they do not like the bear. If the bear is nice and the bear sees the dog then the dog likes the cat. If someone is round then they like the cat. If someone eats the rabbit then they are round. If someone likes the rabbit then they are round.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If the dog is blue then the dog does not like the rabbit.
((("dog" "is" "blue" "+")) -> ("dog" "likes" "rabbit" "-"))
If someone is kind then they do not like the bear.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bear" "-"))
If the bear is nice and the bear sees the dog then the dog likes the cat.
((("bear" "is" "nice" "+") ("bear" "sees" "dog" "+")) -> ("dog" "likes" "cat" "+"))
If someone is round then they like the cat.
((("someone" "is" "round" "+")) -> ("someone" "likes" "cat" "+"))
If someone eats the rabbit then they are round.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone likes the rabbit then they are round.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "round" "+"))
The dog eats the rabbit.
True
1
proof
[(triple7)]
("dog" "eats" "rabbit" "+")
triple7
The rabbit does not like the cat.
False
1
inv-proof
[(triple10)]
("rabbit" "likes" "cat" "-")
triple10
The dog is round.
True
2
proof
[(((triple7) -> rule5))]
("dog" "is" "round" "+")
((triple7) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple7) -> rule5))]
("dog" "is" "round" "-")
((triple7) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "round" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The cat sees the rabbit.
Unknown
random
[@0: The cat sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "rabbit" "+")
@0: The bear eats the rabbit.[(triple1)] The cat does not see the bear.[(triple4)] The cat eats the dog.[(triple2)] The cat is blue.[(triple3)] The dog eats the bear.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the rabbit.[(triple7)] The rabbit does not eat the bear.[(triple8)] The rabbit is blue.[(triple9)] The rabbit likes the cat.[(triple10)] @1: The bear is round.[(((triple1) -> rule5))] The dog is round.[(((triple7) -> rule5))] @2: The bear likes the cat.[(((((triple1) -> rule5)) -> rule4))] The dog likes the cat.[(((((triple7) -> rule5)) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple7
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple10
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple7) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The dog likes the cat.
("dog" "likes" "cat" "+")
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
The dog likes the cat.
("dog" "likes" "cat" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2