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