The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle likes the rabbit. The cat chases the rabbit. The cat eats the mouse. The mouse eats the bald eagle. The mouse eats the cat. The mouse is rough. The rabbit chases the cat. The rabbit is nice. The rabbit likes the mouse. If the rabbit is green and the rabbit chases the cat then the cat eats the rabbit. If something eats the rabbit and it likes the rabbit then the rabbit chases the cat. If something eats the cat then the cat chases the rabbit. If something likes the cat and it chases the cat then it is green. If something eats the rabbit then the rabbit likes the cat. If something is rough then it eats the rabbit. If something eats the rabbit then the rabbit is nice. If something eats the bald eagle and it is nice then the bald eagle eats the cat.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If the rabbit is green and the rabbit chases the cat then the cat eats the rabbit.
((("rabbit" "is" "green" "+") ("rabbit" "chases" "cat" "+")) -> ("cat" "eats" "rabbit" "+"))
If something eats the rabbit and it likes the rabbit then the rabbit chases the cat.
((("something" "eats" "rabbit" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If something eats the cat then the cat chases the rabbit.
((("something" "eats" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If something likes the cat and it chases the cat then it is green.
((("something" "likes" "cat" "+") ("something" "chases" "cat" "+")) -> ("something" "is" "green" "+"))
If something eats the rabbit then the rabbit likes the cat.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "likes" "cat" "+"))
If something is rough then it eats the rabbit.
((("something" "is" "rough" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the rabbit then the rabbit is nice.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something eats the bald eagle and it is nice then the bald eagle eats the cat.
((("something" "eats" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("bald eagle" "eats" "cat" "+"))
The mouse eats the cat.
True
1
proof
[(triple8)]
("mouse" "eats" "cat" "+")
triple8
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The mouse eats the rabbit.
True
2
proof
[(((triple9) -> rule6))]
("mouse" "eats" "rabbit" "+")
((triple9) -> (rule6 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The mouse does not eat the rabbit.
False
2
inv-proof
[(((triple9) -> rule6))]
("mouse" "eats" "rabbit" "-")
((triple9) -> (rule6 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The rabbit likes the cat.
True
3
proof
[(((((triple9) -> rule6)) -> rule5))]
("rabbit" "likes" "cat" "+")
((((triple9) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The rabbit does not like the cat.
False
3
inv-proof
[(((((triple9) -> rule6)) -> rule5))]
("rabbit" "likes" "cat" "-")
((((triple9) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The cat chases the rabbit.[(triple5 OR ((triple8) -> rule3))] The cat eats the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is rough.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit is nice.[(triple11 OR ((((triple9) -> rule6)) -> rule7) OR ((((((((((triple9) -> rule6)) -> rule5) triple10) -> rule4) triple10) -> rule1)) -> rule7))] The rabbit likes the mouse.[(triple12)] @1: The mouse eats the rabbit.[(((triple9) -> rule6))] @2: The rabbit likes the cat.[(((((triple9) -> rule6)) -> rule5))] @3: The rabbit is green.[(((((((triple9) -> rule6)) -> rule5) triple10) -> rule4))] @4: The cat eats the rabbit.[(((((((((triple9) -> rule6)) -> rule5) triple10) -> rule4) triple10) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
((triple8) -> (rule3 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
((((((((((triple9) -> (rule6 % int5))) -> (rule5 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple12
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((triple9) -> (rule6 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((((triple9) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
((((((triple9) -> (rule6 % int3))) -> (rule5 % int2)) triple10) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((((((((triple9) -> (rule6 % int4))) -> (rule5 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int4