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