The bear chases the mouse. The bear eats the mouse. The bear does not eat the rabbit. The bear is blue. The bear likes the mouse. The bear likes the rabbit. The mouse chases the bear. The mouse chases the rabbit. The mouse eats the bear. The mouse eats the rabbit. The mouse is cold. The mouse likes the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit is blue. The rabbit likes the mouse. If something is cold and green then it chases the mouse. If something eats the bear then it chases the mouse. If something chases the bear then the bear eats the mouse. If the rabbit likes the bear then the rabbit does not eat the mouse. If something is kind then it chases the rabbit. If something likes the rabbit then the rabbit is green. If something chases the mouse and it eats the rabbit then the rabbit is kind. If the bear likes the mouse and the bear eats the mouse then the bear is green.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
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 blue.
("rabbit" "is" "blue" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If something is cold and green then it chases the mouse.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "chases" "mouse" "+"))
If something eats the bear then it chases the mouse.
((("something" "eats" "bear" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the bear then the bear eats the mouse.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If the rabbit likes the bear then the rabbit does not eat the mouse.
((("rabbit" "likes" "bear" "+")) -> ("rabbit" "eats" "mouse" "-"))
If something is kind then it chases the rabbit.
((("something" "is" "kind" "+")) -> ("something" "chases" "rabbit" "+"))
If something likes the rabbit then the rabbit is green.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something chases the mouse and it eats the rabbit then the rabbit is kind.
((("something" "chases" "mouse" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the bear likes the mouse and the bear eats the mouse then the bear is green.
((("bear" "likes" "mouse" "+") ("bear" "eats" "mouse" "+")) -> ("bear" "is" "green" "+"))
The bear chases the mouse.
True
1
proof
[(triple1)]
("bear" "chases" "mouse" "+")
triple1
The bear does not like the rabbit.
False
1
inv-proof
[(triple6)]
("bear" "likes" "rabbit" "-")
triple6
The mouse chases the mouse.
True
2
proof
[(((triple9) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple9) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple6) -> rule6))]
("rabbit" "is" "green" "-")
((triple6) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is kind.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule7))]
("rabbit" "is" "kind" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The rabbit is not kind.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule7))]
("rabbit" "is" "kind" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The rabbit chases the rabbit.
True
5
proof
[(((((((triple9) -> rule2) triple10) -> rule7)) -> rule5))]
("rabbit" "chases" "rabbit" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The rabbit does not chase the rabbit.
False
5
inv-proof
[(((((((triple9) -> rule2) triple10) -> rule7)) -> rule5))]
("rabbit" "chases" "rabbit" "-")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The bear does not chase the rabbit.
Unknown
inv-rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "rabbit" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The rabbit does not chase the bear.
Unknown
inv-random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear chases the mouse.[(triple1)] The bear does not eat the rabbit.[(triple3)] The bear eats the mouse.[(triple2 OR ((triple7) -> rule3))] The bear is blue.[(triple4)] The bear likes the mouse.[(triple5)] The bear likes the rabbit.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the bear.[(triple12)] The rabbit chases the mouse.[(triple13 OR ((triple14) -> rule2))] The rabbit eats the bear.[(triple14)] The rabbit is blue.[(triple15)] The rabbit likes the mouse.[(triple16)] @1: The bear is green.[(((triple5 triple2) -> rule8) OR ((triple5 ((triple7) -> rule3)) -> rule8))] The mouse chases the mouse.[(((triple9) -> rule2))] The rabbit is green.[(((triple6) -> rule6))] @2: The rabbit is kind.[(((((triple9) -> rule2) triple10) -> rule7))] @3: The rabbit chases the rabbit.[(((((((triple9) -> rule2) triple10) -> rule7)) -> rule5))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
((triple7) -> (rule3 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple9
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple12
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple13
((triple14) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple14
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple15
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple16
The bear is green.
("bear" "is" "green" "+")
((triple5 triple2) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple5 ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple9) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple6) -> (rule6 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3