The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle does not visit the cat. The bald eagle visits the squirrel. The cat chases the bald eagle. The cat eats the bald eagle. The cat is kind. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel visits the bald eagle. If something is green and kind then it eats the cat. If something visits the bald eagle and the bald eagle visits the squirrel then the squirrel does not chase the bald eagle. If something is rough and it chases the squirrel then it does not visit the bald eagle. If the bald eagle chases the squirrel and the bald eagle visits the squirrel then the squirrel is not kind. If something eats the cat and the cat chases the bald eagle then the bald eagle eats the squirrel. If the squirrel visits the cat and the cat does not visit the bald eagle then the bald eagle eats the cat.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something is green and kind then it eats the cat.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "eats" "cat" "+"))
If something visits the bald eagle and the bald eagle visits the squirrel then the squirrel does not chase the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If something is rough and it chases the squirrel then it does not visit the bald eagle.
((("something" "is" "rough" "+") ("something" "chases" "squirrel" "+")) -> ("something" "visits" "bald eagle" "-"))
If the bald eagle chases the squirrel and the bald eagle visits the squirrel then the squirrel is not kind.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "is" "kind" "-"))
If something eats the cat and the cat chases the bald eagle then the bald eagle eats the squirrel.
((("something" "eats" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If the squirrel visits the cat and the cat does not visit the bald eagle then the bald eagle eats the cat.
((("squirrel" "visits" "cat" "+") ("cat" "visits" "bald eagle" "~")) -> ("bald eagle" "eats" "cat" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle visits the cat.
False
1
inv-proof
[(triple6)]
("bald eagle" "visits" "cat" "+")
triple6
The bald eagle eats the squirrel.
True
3
proof
[(((triple12 triple8) -> rule5))]
("bald eagle" "eats" "squirrel" "+")
((triple12 triple8) -> (rule5 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel is kind.
False
3
inv-proof
[(((triple1 triple7) -> rule4))]
("squirrel" "is" "kind" "+")
((triple1 triple7) -> (rule4 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The cat does not visit the squirrel.
Unknown
inv-random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not visit the cat.[(triple6)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle visits the squirrel.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat is kind.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel is big.[(triple13)] The squirrel is green.[(triple14)] The squirrel is red.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle does not visit the bald eagle.[(((triple5 triple1) -> rule3))] The bald eagle eats the squirrel.[(((triple12 triple8) -> rule5))] The squirrel does not chase the bald eagle.[(((triple16 triple7) -> rule2))] The squirrel is not kind.[(((triple1 triple7) -> rule4))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple6
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is green.
("squirrel" "is" "green" "+")
triple14
The squirrel is red.
("squirrel" "is" "red" "+")
triple15
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple16
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
((triple5 triple1) -> (rule3 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple12 triple8) -> (rule5 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
((triple16 triple7) -> (rule2 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((triple1 triple7) -> (rule4 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1