The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle is not rough. The bald eagle is young. The bald eagle needs the dog. The bald eagle does not see the dog. The dog does not eat the bald eagle. The dog is red. The lion eats the bald eagle. The lion is nice. The lion is red. The lion sees the dog. If someone eats the dog then they need the bald eagle. If someone is rough and not nice then they are not kind. If the bald eagle is kind and the bald eagle sees the lion then the bald eagle needs the lion.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog is red.
("dog" "is" "red" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If someone eats the dog then they need the bald eagle.
((("someone" "eats" "dog" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is rough and not nice then they are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "-"))
If the bald eagle is kind and the bald eagle sees the lion then the bald eagle needs the lion.
((("bald eagle" "is" "kind" "+") ("bald eagle" "sees" "lion" "+")) -> ("bald eagle" "needs" "lion" "+"))
The lion is red.
True
1
proof
[(triple11)]
("lion" "is" "red" "+")
triple11
The lion is not red.
False
1
inv-proof
[(triple11)]
("lion" "is" "red" "-")
triple11
The bald eagle needs the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The lion does not need the bald eagle.
Unknown
inv-rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "bald eagle" "-")
The dog needs the bald eagle.
Unknown
rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bald eagle" "+")
The dog does not see the bald eagle.
Unknown
inv-random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bald eagle does not see the dog.[(triple6)] The bald eagle eats the dog.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is not rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog does not eat the bald eagle.[(triple7)] The dog is red.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is nice.[(triple10)] The lion is red.[(triple11)] The lion sees the dog.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule1))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple6
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion sees the dog.
("lion" "sees" "dog" "+")
triple12
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1