The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the bear. The bear likes the dog. The bear needs the bald eagle. The bear needs the dog. The dog is big. The dog is kind. The dog is nice. The dog likes the bald eagle. The dog likes the bear. The dog needs the bald eagle. The dog needs the bear. The dog sees the bald eagle. The dog sees the bear. If the bear likes the bald eagle then the bear sees the dog. If something sees the dog and the dog is kind then the dog likes the bald eagle. If something needs the dog then it likes the bald eagle. If something needs the dog then it sees the bear. If something sees the dog then the dog is round. If the bear sees the bald eagle then the bald eagle likes the bear. If something is big then it needs the bald eagle. If something sees the bear then it is big.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the bear likes the bald eagle then the bear sees the dog.
((("bear" "likes" "bald eagle" "+")) -> ("bear" "sees" "dog" "+"))
If something sees the dog and the dog is kind then the dog likes the bald eagle.
((("something" "sees" "dog" "+") ("dog" "is" "kind" "+")) -> ("dog" "likes" "bald eagle" "+"))
If something needs the dog then it likes the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the dog then it sees the bear.
((("something" "needs" "dog" "+")) -> ("something" "sees" "bear" "+"))
If something sees the dog then the dog is round.
((("something" "sees" "dog" "+")) -> ("dog" "is" "round" "+"))
If the bear sees the bald eagle then the bald eagle likes the bear.
((("bear" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something is big then it needs the bald eagle.
((("something" "is" "big" "+")) -> ("something" "needs" "bald eagle" "+"))
If something sees the bear then it is big.
((("something" "sees" "bear" "+")) -> ("something" "is" "big" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple3)]
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle does not need the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "bear" "-")
triple3
The bear sees the bear.
True
2
proof
[(((triple6) -> rule4))]
("bear" "sees" "bear" "+")
((triple6) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple6) -> rule4))]
("bear" "sees" "bear" "-")
((triple6) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear sees the dog.
True
3
proof
[(((((triple6) -> rule3)) -> rule1))]
("bear" "sees" "dog" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear is not big.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule8))]
("bear" "is" "big" "-")
((((triple6) -> (rule4 % int2))) -> (rule8 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The dog is round.
True
4
proof
[(((((((triple6) -> rule3)) -> rule1)) -> rule5))]
("dog" "is" "round" "+")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The dog is not round.
False
4
inv-proof
[(((((((triple6) -> rule3)) -> rule1)) -> rule5))]
("dog" "is" "round" "-")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle is not big.
Unknown
inv-rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@3: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not see the bear.
Unknown
inv-rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the bald eagle.[(triple5 OR ((((((triple6) -> rule4)) -> rule8)) -> rule7))] The bear needs the dog.[(triple6)] The dog is big.[(triple7 OR ((triple15) -> rule8))] The dog is kind.[(triple8)] The dog is nice.[(triple9)] The dog likes the bald eagle.[(triple10 OR ((((((triple6) -> rule3)) -> rule1) triple8) -> rule2))] The dog likes the bear.[(triple11)] The dog needs the bald eagle.[(triple12 OR ((triple7) -> rule7) OR ((((triple15) -> rule8)) -> rule7))] The dog needs the bear.[(triple13)] The dog sees the bald eagle.[(triple14)] The dog sees the bear.[(triple15)] @1: The bear likes the bald eagle.[(((triple6) -> rule3))] The bear sees the bear.[(((triple6) -> rule4))] @2: The bear is big.[(((((triple6) -> rule4)) -> rule8))] The bear sees the dog.[(((((triple6) -> rule3)) -> rule1))] @3: The dog is round.[(((((((triple6) -> rule3)) -> rule1)) -> rule5))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
((((((triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
((triple15) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
((triple7) -> (rule7 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((((triple15) -> (rule8 % int2))) -> (rule7 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
triple13
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple14
The dog sees the bear.
("dog" "sees" "bear" "+")
triple15
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple6) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple6) -> (rule4 % int2))) -> (rule8 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear sees the dog.
("bear" "sees" "dog" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3