The bald eagle likes the dog. The bald eagle visits the dog. The dog sees the squirrel. The dog visits the mouse. The mouse is big. The mouse visits the squirrel. The squirrel is blue. If someone is big then they like the dog. If someone likes the dog then they see the squirrel. If someone visits the bald eagle then the bald eagle is rough. If someone is blue then they visit the bald eagle. If someone likes the mouse and they are young then the mouse visits the dog. If someone visits the mouse and they visit the dog then they visit the bald eagle. If someone sees the squirrel then the squirrel is rough. If someone likes the dog then they like the squirrel.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone is big then they like the dog.
((("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the dog then they see the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the bald eagle then the bald eagle is rough.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is blue then they visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the mouse and they are young then the mouse visits the dog.
((("someone" "likes" "mouse" "+") ("someone" "is" "young" "+")) -> ("mouse" "visits" "dog" "+"))
If someone visits the mouse and they visit the dog then they visit the bald eagle.
((("someone" "visits" "mouse" "+") ("someone" "visits" "dog" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the squirrel then the squirrel is rough.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone likes the dog then they like the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "likes" "squirrel" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple1)]
("bald eagle" "likes" "dog" "+")
triple1
The dog does not see the squirrel.
False
1
inv-proof
[(triple3)]
("dog" "sees" "squirrel" "-")
triple3
The dog does not like the squirrel.
Unknown
inv-rconc
[@2: The dog likes the squirrel.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("dog" "likes" "squirrel" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle visits the dog.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the mouse.[(triple4)] The mouse is big.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] @1: The bald eagle likes the squirrel.[(((triple1) -> rule8))] The bald eagle sees the squirrel.[(((triple1) -> rule2))] The mouse likes the dog.[(((triple5) -> rule1))] The squirrel is rough.[(((triple3) -> rule7) OR ((((triple1) -> rule2)) -> rule7) OR ((((((triple5) -> rule1)) -> rule2)) -> rule7))] The squirrel visits the bald eagle.[(((triple7) -> rule4))] @2: The bald eagle is rough.[(((((triple7) -> rule4)) -> rule3))] The mouse likes the squirrel.[(((((triple5) -> rule1)) -> rule8))] The mouse sees the squirrel.[(((((triple5) -> rule1)) -> rule2))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple1) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
((triple5) -> (rule1 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple3) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int2
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int2
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int2