The bear eats the mouse. The bear likes the mouse. The bear likes the rabbit. The mouse chases the rabbit. The mouse is nice. The mouse is round. The mouse likes the bear. The mouse likes the rabbit. The rabbit chases the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is round. The rabbit likes the bear. The rabbit likes the mouse. If something is blue then it likes the bear. If something eats the bear then it chases the rabbit. If the mouse likes the rabbit and the mouse eats the bear then the mouse chases the bear. If the mouse likes the bear and the bear is young then the bear is blue. If something eats the bear and the bear chases the mouse then it likes the rabbit. If something chases the bear and it chases the rabbit then the bear chases the mouse.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If something is blue then it likes the bear.
((("something" "is" "blue" "+")) -> ("something" "likes" "bear" "+"))
If something eats the bear then it chases the rabbit.
((("something" "eats" "bear" "+")) -> ("something" "chases" "rabbit" "+"))
If the mouse likes the rabbit and the mouse eats the bear then the mouse chases the bear.
((("mouse" "likes" "rabbit" "+") ("mouse" "eats" "bear" "+")) -> ("mouse" "chases" "bear" "+"))
If the mouse likes the bear and the bear is young then the bear is blue.
((("mouse" "likes" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "is" "blue" "+"))
If something eats the bear and the bear chases the mouse then it likes the rabbit.
((("something" "eats" "bear" "+") ("bear" "chases" "mouse" "+")) -> ("something" "likes" "rabbit" "+"))
If something chases the bear and it chases the rabbit then the bear chases the mouse.
((("something" "chases" "bear" "+") ("something" "chases" "rabbit" "+")) -> ("bear" "chases" "mouse" "+"))
The rabbit likes the bear.
True
1
proof
[(triple14)]
("rabbit" "likes" "bear" "+")
triple14
The bear does not like the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "likes" "rabbit" "-")
triple3
The rabbit chases the rabbit.
True
2
proof
[(((triple11) -> rule2))]
("rabbit" "chases" "rabbit" "+")
((triple11) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple11) -> rule2))]
("rabbit" "chases" "rabbit" "-")
((triple11) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bear chases the mouse.
True
4
proof
[(((triple9 ((triple11) -> rule2)) -> rule6))]
("bear" "chases" "mouse" "+")
((triple9 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The bear does not chase the mouse.
False
4
inv-proof
[(((triple9 ((triple11) -> rule2)) -> rule6))]
("bear" "chases" "mouse" "-")
((triple9 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit likes the rabbit.
True
6
proof
[(((triple11 ((triple9 ((triple11) -> rule2)) -> rule6)) -> rule5))]
("rabbit" "likes" "rabbit" "+")
((triple11 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit does not like the rabbit.
False
6
inv-proof
[(((triple11 ((triple9 ((triple11) -> rule2)) -> rule6)) -> rule5))]
("rabbit" "likes" "rabbit" "-")
((triple11 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The bear does not chase the rabbit.
Unknown
inv-rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "rabbit" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "blue" "+")
The mouse does not chase the bear.
Unknown
inv-rconc
[@1: The mouse chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@2: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bear" "likes" "bear" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bear eats the mouse.[(triple1)] The bear likes the mouse.[(triple2)] The bear likes the rabbit.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse is round.[(triple6)] The mouse likes the bear.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the mouse.[(triple15)] @1: The rabbit chases the rabbit.[(((triple11) -> rule2))] @2: The bear chases the mouse.[(((triple9 ((triple11) -> rule2)) -> rule6))] @3: The rabbit likes the rabbit.[(((triple11 ((triple9 ((triple11) -> rule2)) -> rule6)) -> rule5))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple9
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple10
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple11) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple9 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple11 ((triple9 ((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3