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