The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle eats the squirrel. The bald eagle is young. The bald eagle likes the dog. The bald eagle visits the dog. The bald eagle visits the mouse. The bald eagle visits the squirrel. The dog is round. The dog likes the squirrel. The dog visits the mouse. The mouse is round. The mouse visits the squirrel. The squirrel eats the bald eagle. The squirrel is red. The squirrel likes the mouse. If someone is young and they like the dog then they like the squirrel. Red, round people are cold. If someone eats the squirrel then they eat the dog. If someone eats the dog then they like the dog. If the bald eagle likes the mouse and the bald eagle visits the mouse then the mouse is red. If the mouse eats the bald eagle and the bald eagle visits the mouse then the mouse is red. If someone eats the mouse and they like the squirrel then the squirrel is big. If the bald eagle visits the dog and the dog likes the bald eagle then the bald eagle is big.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If someone is young and they like the dog then they like the squirrel.
((("someone" "is" "young" "+") ("someone" "likes" "dog" "+")) -> ("someone" "likes" "squirrel" "+"))
Red, round people are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the squirrel then they eat the dog.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the dog then they like the dog.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If the bald eagle likes the mouse and the bald eagle visits the mouse then the mouse is red.
((("bald eagle" "likes" "mouse" "+") ("bald eagle" "visits" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If the mouse eats the bald eagle and the bald eagle visits the mouse then the mouse is red.
((("mouse" "eats" "bald eagle" "+") ("bald eagle" "visits" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If someone eats the mouse and they like the squirrel then the squirrel is big.
((("someone" "eats" "mouse" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If the bald eagle visits the dog and the dog likes the bald eagle then the bald eagle is big.
((("bald eagle" "visits" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple5 OR ((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))]
("bald eagle" "likes" "dog" "+")
triple5
((triple1) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle is not young.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "young" "-")
triple4
The bald eagle likes the squirrel.
True
3
proof
[(((triple4 triple5) -> rule1) OR ((triple4 ((triple1) -> rule4)) -> rule1) OR ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bald eagle" "likes" "squirrel" "+")
((triple4 triple5) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((triple4 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
((triple4 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The bald eagle does not like the squirrel.
False
3
inv-proof
[(((triple4 triple5) -> rule1) OR ((triple4 ((triple1) -> rule4)) -> rule1) OR ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1))]
("bald eagle" "likes" "squirrel" "-")
((triple4 triple5) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((triple4 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
((triple4 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The dog does not like the dog.
Unknown
inv-rconc
[@2: The dog likes the dog.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The squirrel eats the dog.
Unknown
rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "dog" "+")
The dog does not visit the squirrel.
Unknown
inv-random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple3) -> rule3))] The bald eagle eats the mouse.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the dog.[(triple5 OR ((triple1) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] The bald eagle visits the dog.[(triple6)] The bald eagle visits the mouse.[(triple7)] The bald eagle visits the squirrel.[(triple8)] The dog is round.[(triple9)] The dog likes the squirrel.[(triple10)] The dog visits the mouse.[(triple11)] The mouse is round.[(triple12)] The mouse visits the squirrel.[(triple13)] The squirrel eats the bald eagle.[(triple14)] The squirrel is red.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The bald eagle likes the squirrel.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple1) -> rule4)) -> rule1) OR ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1))] @2: The squirrel is big.[(((triple2 ((triple4 triple5) -> rule1)) -> rule7) OR ((triple2 ((triple4 ((triple1) -> rule4)) -> rule1)) -> rule7) OR ((triple2 ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1)) -> rule7))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple3) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
((triple1) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple7
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple10
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple13
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple14
The squirrel is red.
("squirrel" "is" "red" "+")
triple15
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple16
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple4 triple5) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((triple4 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
((triple4 ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
((triple2 ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
((triple2 ((triple4 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
((triple2 ((triple4 ((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int4