The bald eagle is rough. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat does not see the bald eagle. The cat sees the squirrel. The squirrel likes the bald eagle. If something is big and it likes the squirrel then the squirrel is rough. If something sees the squirrel and it is rough then it does not see the cat. If something likes the cat and it is young then it likes the squirrel. If something sees the cat then it likes the squirrel. If something eats the squirrel then it is rough. If something is big then it does not see the squirrel.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something is big and it likes the squirrel then the squirrel is rough.
((("something" "is" "big" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something sees the squirrel and it is rough then it does not see the cat.
((("something" "sees" "squirrel" "+") ("something" "is" "rough" "+")) -> ("something" "sees" "cat" "-"))
If something likes the cat and it is young then it likes the squirrel.
((("something" "likes" "cat" "+") ("something" "is" "young" "+")) -> ("something" "likes" "squirrel" "+"))
If something sees the cat then it likes the squirrel.
((("something" "sees" "cat" "+")) -> ("something" "likes" "squirrel" "+"))
If something eats the squirrel then it is rough.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If something is big then it does not see the squirrel.
((("something" "is" "big" "+")) -> ("something" "sees" "squirrel" "-"))
The bald eagle likes the squirrel.
True
1
proof
[(triple4 OR ((triple3 triple2) -> rule3))]
("bald eagle" "likes" "squirrel" "+")
triple4
((triple3 triple2) -> (rule3 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The cat does not like the squirrel.
Unknown
inv-rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the squirrel.[(triple4 OR ((triple3 triple2) -> rule3))] The cat does not see the bald eagle.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel likes the bald eagle.[(triple7)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
((triple3 triple2) -> (rule3 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple7