The bald eagle eats the mouse. The bald eagle eats the squirrel. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse is kind. The mouse is rough. The mouse is young. The mouse likes the squirrel. The mouse visits the bald eagle. The mouse visits the squirrel. The squirrel eats the bald eagle. The squirrel eats the mouse. If someone eats the mouse and the mouse eats the squirrel then they are rough. If someone visits the mouse and the mouse eats the bald eagle then they are big. All rough people are young. If someone eats the squirrel and the squirrel is big then the squirrel eats the bald eagle. If someone eats the squirrel then the squirrel is big. Kind people are young. If someone visits the mouse and the mouse likes the squirrel then they eat the bald eagle. If the mouse is big then the mouse eats the squirrel.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
If someone eats the mouse and the mouse eats the squirrel then they are rough.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the mouse and the mouse eats the bald eagle then they are big.
((("someone" "visits" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone eats the squirrel and the squirrel is big then the squirrel eats the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the squirrel then the squirrel is big.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone visits the mouse and the mouse likes the squirrel then they eat the bald eagle.
((("someone" "visits" "mouse" "+") ("mouse" "likes" "squirrel" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the mouse is big then the mouse eats the squirrel.
((("mouse" "is" "big" "+")) -> ("mouse" "eats" "squirrel" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple4)]
("mouse" "eats" "squirrel" "+")
triple4
The mouse does not like the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "likes" "squirrel" "-")
triple8
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7 OR ((triple5) -> rule6) OR ((triple6) -> rule3))] The mouse likes the squirrel.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11 OR ((triple2 ((triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple2) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule4))] The squirrel eats the mouse.[(triple12)] @1: The bald eagle is rough.[(((triple1 triple4) -> rule1))] The squirrel is big.[(((triple2) -> rule5) OR ((triple4) -> rule5))] The squirrel is rough.[(((triple12 triple4) -> rule1))] @2: The bald eagle is young.[(((((triple1 triple4) -> rule1)) -> rule3))] The squirrel is young.[(((((triple12 triple4) -> rule1)) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
((triple5) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((triple6) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((triple2 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((triple4 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple12
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1 triple4) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple2) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple4) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple12 triple4) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple12 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2