The bald eagle eats the dog. The bald eagle is not round. The bald eagle sees the bear. The bear eats the lion. The bear is young. The bear needs the dog. The dog eats the bald eagle. The dog needs the bear. The dog sees the lion. The lion eats the dog. The lion is round. The lion needs the bald eagle. The lion sees the bear. The lion sees the dog. If something needs the lion then it sees the bald eagle. If something needs the bald eagle then the bald eagle needs the dog. If something is round and nice then it needs the lion. If something sees the bear and it is nice then the bear is round. If something eats the bald eagle and the bald eagle is not round then it is rough. All round things are nice. If something eats the bear then the bear is not young.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something needs the lion then it sees the bald eagle.
((("something" "needs" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
If something needs the bald eagle then the bald eagle needs the dog.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If something is round and nice then it needs the lion.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "lion" "+"))
If something sees the bear and it is nice then the bear is round.
((("something" "sees" "bear" "+") ("something" "is" "nice" "+")) -> ("bear" "is" "round" "+"))
If something eats the bald eagle and the bald eagle is not round then it is rough.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("something" "is" "rough" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something eats the bear then the bear is not young.
((("something" "eats" "bear" "+")) -> ("bear" "is" "young" "-"))
The lion sees the bear.
True
1
proof
[(triple13)]
("lion" "sees" "bear" "+")
triple13
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "eats" "bald eagle" "-")
triple7
The lion is nice.
True
2
proof
[(((triple11) -> rule6))]
("lion" "is" "nice" "+")
((triple11) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple11) -> rule6))]
("lion" "is" "nice" "-")
((triple11) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The bear is round.
True
4
proof
[(((triple13 ((triple11) -> rule6)) -> rule4))]
("bear" "is" "round" "+")
((triple13 ((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The bear is not round.
False
4
inv-proof
[(((triple13 ((triple11) -> rule6)) -> rule4))]
("bear" "is" "round" "-")
((triple13 ((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion sees the bald eagle.
True
5
proof
[(((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule1))]
("lion" "sees" "bald eagle" "+")
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear is not nice.
False
5
inv-proof
[(((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6))]
("bear" "is" "nice" "-")
((((triple13 ((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear needs the lion.
True
10
proof
[(((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3))]
("bear" "needs" "lion" "+")
((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The bear does not need the lion.
False
10
inv-proof
[(((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3))]
("bear" "needs" "lion" "-")
((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The bear sees the bald eagle.
True
11
proof
[(((((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3)) -> rule1))]
("bear" "sees" "bald eagle" "+")
((((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The bear does not see the bald eagle.
False
11
inv-proof
[(((((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3)) -> rule1))]
("bear" "sees" "bald eagle" "-")
((((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5
The dog does not see the bald eagle.
Unknown
inv-rconc
[@2: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("dog" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@2: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "nice" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "rough" "+")
The dog does not need the lion.
Unknown
inv-rconc
[@1: The dog needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "needs" "lion" "-")
The bald eagle needs the lion.
Unknown
rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "lion" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear eats the lion.[(triple4)] The bear is young.[(triple5)] The bear needs the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog needs the bear.[(triple8)] The dog sees the lion.[(triple9)] The lion eats the dog.[(triple10)] The lion is round.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion sees the bear.[(triple13)] The lion sees the dog.[(triple14)] @1: The bald eagle needs the dog.[(((triple12) -> rule2))] The dog is rough.[(((triple7 triple2) -> rule5))] The lion is nice.[(((triple11) -> rule6))] @2: The bear is round.[(((triple13 ((triple11) -> rule6)) -> rule4))] The lion needs the lion.[(((triple11 ((triple11) -> rule6)) -> rule3))] @3: The bear is nice.[(((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6))] The lion sees the bald eagle.[(((((triple11 ((triple11) -> rule6)) -> rule3)) -> rule1))] @4: The bear needs the lion.[(((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3))] @5: The bear sees the bald eagle.[(((((((triple13 ((triple11) -> rule6)) -> rule4) ((((triple13 ((triple11) -> rule6)) -> rule4)) -> rule6)) -> rule3)) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear eats the lion.
("bear" "eats" "lion" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
The dog sees the lion.
("dog" "sees" "lion" "+")
triple9
The lion eats the dog.
("lion" "eats" "dog" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
triple11
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple12
The lion sees the bear.
("lion" "sees" "bear" "+")
triple13
The lion sees the dog.
("lion" "sees" "dog" "+")
triple14
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple12) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple7 triple2) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple11) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple13 ((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple11 ((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((triple13 ((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear needs the lion.
("bear" "needs" "lion" "+")
((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple13 ((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple13 ((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The lion is nice.
("lion" "is" "nice" "+")
int5