The bald eagle eats the dog. The bald eagle needs the dog. The bald eagle needs the lion. The bald eagle visits the lion. The dog eats the bald eagle. The dog eats the lion. The dog is green. The dog is young. The dog needs the bald eagle. The dog needs the lion. The dog visits the bald eagle. The dog visits the lion. The lion eats the bald eagle. The lion is kind. The lion visits the bald eagle. If the bald eagle eats the dog then the dog is nice. If something visits the bald eagle and the bald eagle is nice then the bald eagle needs the lion. If something needs the lion and it needs the bald eagle then the bald eagle eats the lion. If the bald eagle needs the dog then the dog visits the bald eagle. If the lion needs the bald eagle then the bald eagle eats the lion. If something is kind and it visits the lion then the lion is green.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If the bald eagle eats the dog then the dog is nice.
((("bald eagle" "eats" "dog" "+")) -> ("dog" "is" "nice" "+"))
If something visits the bald eagle and the bald eagle is nice then the bald eagle needs the lion.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something needs the lion and it needs the bald eagle then the bald eagle eats the lion.
((("something" "needs" "lion" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the bald eagle needs the dog then the dog visits the bald eagle.
((("bald eagle" "needs" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If the lion needs the bald eagle then the bald eagle eats the lion.
((("lion" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If something is kind and it visits the lion then the lion is green.
((("something" "is" "kind" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "green" "+"))
The dog is young.
True
1
proof
[(triple8)]
("dog" "is" "young" "+")
triple8
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The dog is nice.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "green" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the lion.[(triple6)] The dog is green.[(triple7)] The dog is young.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the lion.[(triple10)] The dog visits the bald eagle.[(triple11 OR ((triple2) -> rule4))] The dog visits the lion.[(triple12)] The lion eats the bald eagle.[(triple13)] The lion is kind.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The bald eagle eats the lion.[(((triple10 triple9) -> rule3))] The dog is nice.[(((triple1) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The dog needs the lion.
("dog" "needs" "lion" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple11
((triple2) -> (rule4 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple12
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple13
The lion is kind.
("lion" "is" "kind" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple10 triple9) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1