The bald eagle likes the bear. The bald eagle sees the lion. The bear is green. The bear likes the bald eagle. The bear visits the bald eagle. The bear visits the tiger. The lion sees the bald eagle. The lion sees the bear. The lion visits the tiger. The tiger likes the lion. The tiger sees the bald eagle. The tiger sees the lion. If someone sees the bear then the bear likes the tiger. If someone visits the bald eagle then the bald eagle is blue. If someone visits the bald eagle and the bald eagle is red then the bald eagle visits the bear. If someone is green then they like the tiger. If someone likes the lion then they are green. If someone sees the bear then the bear visits the lion. If someone likes the tiger then they visit the lion. If someone is green and they see the bald eagle then the bald eagle likes the lion. If someone is young then they see the bald eagle.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone sees the bear then the bear likes the tiger.
((("someone" "sees" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If someone visits the bald eagle then the bald eagle is blue.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone visits the bald eagle and the bald eagle is red then the bald eagle visits the bear.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone is green then they like the tiger.
((("someone" "is" "green" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the lion then they are green.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "green" "+"))
If someone sees the bear then the bear visits the lion.
((("someone" "sees" "bear" "+")) -> ("bear" "visits" "lion" "+"))
If someone likes the tiger then they visit the lion.
((("someone" "likes" "tiger" "+")) -> ("someone" "visits" "lion" "+"))
If someone is green and they see the bald eagle then the bald eagle likes the lion.
((("someone" "is" "green" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If someone is young then they see the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bald eagle" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple7)]
("lion" "sees" "bald eagle" "+")
triple7
The bald eagle does not like the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "bear" "-")
triple1
The tiger is green.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "is" "green" "+")
((triple10) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The bear does not like the tiger.
False
2
inv-proof
[(((triple3) -> rule4) OR ((triple8) -> rule1))]
("bear" "likes" "tiger" "-")
((triple3) -> (rule4 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
((triple8) -> (rule1 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bald eagle likes the lion.
True
4
proof
[(((((triple10) -> rule5) triple11) -> rule8))]
("bald eagle" "likes" "lion" "+")
((((triple10) -> (rule5 % int2)) triple11) -> (rule8 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger does not like the tiger.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule4))]
("tiger" "likes" "tiger" "-")
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the lion.
True
4
proof
[(((((((triple10) -> rule5)) -> rule4)) -> rule7))]
("tiger" "visits" "lion" "+")
((((((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The bald eagle is not green.
False
5
inv-proof
[(((((((triple10) -> rule5) triple11) -> rule8)) -> rule5))]
("bald eagle" "is" "green" "-")
((((((triple10) -> (rule5 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The bald eagle likes the tiger.
True
6
proof
[(((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4))]
("bald eagle" "likes" "tiger" "+")
((((((((triple10) -> (rule5 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle does not like the tiger.
False
6
inv-proof
[(((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4))]
("bald eagle" "likes" "tiger" "-")
((((((((triple10) -> (rule5 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle visits the lion.
True
7
proof
[(((((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4)) -> rule7))]
("bald eagle" "visits" "lion" "+")
((((((((((triple10) -> (rule5 % int5)) triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The bald eagle does not visit the lion.
False
7
inv-proof
[(((((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4)) -> rule7))]
("bald eagle" "visits" "lion" "-")
((((((((((triple10) -> (rule5 % int5)) triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear sees the bald eagle.
Unknown
rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "sees" "bald eagle" "+")
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "green" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The lion does not like the tiger.
Unknown
inv-rconc
[@2: The lion likes the tiger.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("lion" "likes" "tiger" "-")
The lion visits the lion.
Unknown
rconc
[@3: The lion visits the lion.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("lion" "visits" "lion" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle sees the lion.[(triple2)] The bear is green.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear visits the bald eagle.[(triple5)] The bear visits the tiger.[(triple6)] The lion sees the bald eagle.[(triple7)] The lion sees the bear.[(triple8)] The lion visits the tiger.[(triple9)] The tiger likes the lion.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the lion.[(triple12)] @1: The bald eagle is blue.[(((triple5) -> rule2))] The bear likes the tiger.[(((triple3) -> rule4) OR ((triple8) -> rule1))] The bear visits the lion.[(((triple8) -> rule6) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple8) -> rule1)) -> rule7))] The tiger is green.[(((triple10) -> rule5))] @2: The bald eagle likes the lion.[(((((triple10) -> rule5) triple11) -> rule8))] The tiger likes the tiger.[(((((triple10) -> rule5)) -> rule4))] @3: The bald eagle is green.[(((((((triple10) -> rule5) triple11) -> rule8)) -> rule5))] The tiger visits the lion.[(((((((triple10) -> rule5)) -> rule4)) -> rule7))] @4: The bald eagle likes the tiger.[(((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4))] @5: The bald eagle visits the lion.[(((((((((((triple10) -> rule5) triple11) -> rule8)) -> rule5)) -> rule4)) -> rule7))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The lion sees the bear.
("lion" "sees" "bear" "+")
triple8
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple9
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple10
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple11
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple12
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple5) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
((triple3) -> (rule4 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
((triple8) -> (rule1 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
((triple8) -> (rule6 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule7 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule7 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
((triple10) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((((triple10) -> (rule5 % int2)) triple11) -> (rule8 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple10) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple10) -> (rule5 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger visits the lion.
("tiger" "visits" "lion" "+")
((((((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((((((((triple10) -> (rule5 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int3
The tiger is green.
("tiger" "is" "green" "+")
int4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((((((((triple10) -> (rule5 % int5)) triple11) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
int5