The bald eagle eats the dog. The bald eagle is kind. The bald eagle needs the dog. The cat eats the bald eagle. The cat eats the dog. The cat is green. The cat is red. The cat needs the dog. The cat visits the bald eagle. The cat visits the dog. The dog is big. The dog is green. The dog is kind. The dog is round. The dog visits the bald eagle. The dog visits the cat. If something eats the dog then it visits the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something eats the dog then it visits the bald eagle.
((("something" "eats" "dog" "+")) -> ("something" "visits" "bald eagle" "+"))
The cat eats the dog.
True
1
proof
[(triple5)]
("cat" "eats" "dog" "+")
triple5
The dog is not kind.
False
1
inv-proof
[(triple13)]
("dog" "is" "kind" "-")
triple13
The bald eagle does not need the cat.
Unknown
inv-random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the dog.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the dog.[(triple5)] The cat is green.[(triple6)] The cat is red.[(triple7)] The cat needs the dog.[(triple8)] The cat visits the bald eagle.[(triple9 OR ((triple5) -> rule1))] The cat visits the dog.[(triple10)] The dog is big.[(triple11)] The dog is green.[(triple12)] The dog is kind.[(triple13)] The dog is round.[(triple14)] The dog visits the bald eagle.[(triple15)] The dog visits the cat.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat needs the dog.
("cat" "needs" "dog" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
((triple5) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is round.
("dog" "is" "round" "+")
triple14
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple15
The dog visits the cat.
("dog" "visits" "cat" "+")
triple16
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1