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