The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the lion. The bear is green. The bear is rough. The bear sees the dog. The dog eats the bald eagle. The dog sees the bald eagle. The dog sees the bear. The lion eats the bald eagle. The lion eats the bear. The lion is red. The lion is young. The lion sees the bear. The lion sees the dog. The lion visits the bald eagle. If someone eats the bear and the bear eats the dog then they are red. If someone visits the bald eagle and the bald eagle visits the bear then the bear sees the lion. If someone sees the bear and the bear sees the lion then the bear sees the bald eagle. If someone visits the bear and they are big then they visit the dog. If someone visits the bear and they eat the bear then the bear eats the dog. If someone is green and they see the bald eagle then the bald eagle is green.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone eats the bear and the bear eats the dog then they are red.
((("someone" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone visits the bald eagle and the bald eagle visits the bear then the bear sees the lion.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If someone sees the bear and the bear sees the lion then the bear sees the bald eagle.
((("someone" "sees" "bear" "+") ("bear" "sees" "lion" "+")) -> ("bear" "sees" "bald eagle" "+"))
If someone visits the bear and they are big then they visit the dog.
((("someone" "visits" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the bear and they eat the bear then the bear eats the dog.
((("someone" "visits" "bear" "+") ("someone" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone is green and they see the bald eagle then the bald eagle is green.
((("someone" "is" "green" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple2)]
("bald eagle" "visits" "bear" "+")
triple2
The lion is not red.
False
1
inv-proof
[(triple12)]
("lion" "is" "red" "-")
triple12
The bear sees the lion.
True
3
proof
[(((triple16 triple2) -> rule2))]
("bear" "sees" "lion" "+")
((triple16 triple2) -> (rule2 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear does not see the lion.
False
3
inv-proof
[(((triple16 triple2) -> rule2))]
("bear" "sees" "lion" "-")
((triple16 triple2) -> (rule2 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear sees the bald eagle.
True
5
proof
[(((triple1 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple14 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple9 ((triple16 triple2) -> rule2)) -> rule3))]
("bear" "sees" "bald eagle" "+")
((triple1 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple14 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple9 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear does not see the bald eagle.
False
5
inv-proof
[(((triple1 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple14 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple9 ((triple16 triple2) -> rule2)) -> rule3))]
("bear" "sees" "bald eagle" "-")
((triple1 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple14 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple9 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bald eagle is green.
True
7
proof
[(((triple4 ((triple1 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple14 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple9 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6))]
("bald eagle" "is" "green" "+")
((triple4 ((triple1 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple14 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple9 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The bald eagle is not green.
False
7
inv-proof
[(((triple4 ((triple1 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple14 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple9 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6))]
("bald eagle" "is" "green" "-")
((triple4 ((triple1 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple14 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple9 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
The lion does not visit the dog.
Unknown
inv-rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "dog" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "visits" "dog" "+")
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "visits" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bald eagle sees the bear.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the lion.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the bear.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the bear.[(triple11)] The lion is red.[(triple12)] The lion is young.[(triple13)] The lion sees the bear.[(triple14)] The lion sees the dog.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bear sees the lion.[(((triple16 triple2) -> rule2))] @2: The bear sees the bald eagle.[(((triple1 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple14 ((triple16 triple2) -> rule2)) -> rule3) OR ((triple9 ((triple16 triple2) -> rule2)) -> rule3))] @3: The bald eagle is green.[(((triple4 ((triple1 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple14 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6) OR ((triple4 ((triple9 ((triple16 triple2) -> rule2)) -> rule3)) -> rule6))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The dog sees the bear.
("dog" "sees" "bear" "+")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the bear.
("lion" "eats" "bear" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion sees the bear.
("lion" "sees" "bear" "+")
triple14
The lion sees the dog.
("lion" "sees" "dog" "+")
triple15
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple16
The bear sees the lion.
("bear" "sees" "lion" "+")
((triple16 triple2) -> (rule2 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple1 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple14 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
((triple9 ((triple16 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple4 ((triple1 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple14 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((triple4 ((triple9 ((triple16 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3