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