The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle needs the bear. The bald eagle visits the lion. The bald eagle visits the rabbit. The bear is nice. The bear needs the bald eagle. The bear visits the bald eagle. The bear visits the lion. The lion chases the bear. The lion needs the rabbit. The rabbit is kind. The rabbit is nice. The rabbit needs the bald eagle. If the bald eagle does not need the rabbit then the rabbit visits the bald eagle. If someone visits the bear then the bear visits the bald eagle. If someone chases the lion and they chase the bear then the lion visits the bear. If someone visits the bear and the bear is kind then they are nice. If someone chases the bald eagle and they visit the bald eagle then the bald eagle is nice. If someone visits the bear then they visit the rabbit. If someone visits the rabbit then the rabbit chases the bear. If someone visits the lion then they chase the bear.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If the bald eagle does not need the rabbit then the rabbit visits the bald eagle.
((("bald eagle" "needs" "rabbit" "~")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone visits the bear then the bear visits the bald eagle.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If someone chases the lion and they chase the bear then the lion visits the bear.
((("someone" "chases" "lion" "+") ("someone" "chases" "bear" "+")) -> ("lion" "visits" "bear" "+"))
If someone visits the bear and the bear is kind then they are nice.
((("someone" "visits" "bear" "+") ("bear" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the bald eagle and they visit the bald eagle then the bald eagle is nice.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone visits the bear then they visit the rabbit.
((("someone" "visits" "bear" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the rabbit then the rabbit chases the bear.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone visits the lion then they chase the bear.
((("someone" "visits" "lion" "+")) -> ("someone" "chases" "bear" "+"))
The bear is nice.
True
1
proof
[(triple7)]
("bear" "is" "nice" "+")
triple7
The bald eagle is not kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The bald eagle chases the bear.
True
2
proof
[(((triple5) -> rule8))]
("bald eagle" "chases" "bear" "+")
((triple5) -> (rule8 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The rabbit does not chase the bear.
False
2
inv-proof
[(((triple6) -> rule7) OR ((((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6)) -> rule7))]
("rabbit" "chases" "bear" "-")
((triple6) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((((((triple1 ((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int2
The lion visits the bear.
("lion" "visits" "bear" "+")
int3
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int4
The lion visits the bear.
True
4
proof
[(((triple1 ((triple5) -> rule8)) -> rule3))]
("lion" "visits" "bear" "+")
((triple1 ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The lion does not visit the bear.
False
4
inv-proof
[(((triple1 ((triple5) -> rule8)) -> rule3))]
("lion" "visits" "bear" "-")
((triple1 ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The lion visits the rabbit.
True
5
proof
[(((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6))]
("lion" "visits" "rabbit" "+")
((((triple1 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The lion does not visit the rabbit.
False
5
inv-proof
[(((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6))]
("lion" "visits" "rabbit" "-")
((((triple1 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The rabbit does not visit the bald eagle.
Unknown
inv-rconc
[@1: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "nice" "+")
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The bear does not chase the bald eagle.
Unknown
inv-random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
The lion does not need the bald eagle.
Unknown
inv-random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear is nice.[(triple7)] The bear needs the bald eagle.[(triple8)] The bear visits the bald eagle.[(triple9 OR ((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule2))] The bear visits the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion needs the rabbit.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The bald eagle chases the bear.[(((triple5) -> rule8))] The bear chases the bear.[(((triple10) -> rule8))] The rabbit chases the bear.[(((triple6) -> rule7) OR ((((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6)) -> rule7))] @2: The lion visits the bear.[(((triple1 ((triple5) -> rule8)) -> rule3))] @3: The lion visits the rabbit.[(((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple8
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple9
((((triple1 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple10
The lion chases the bear.
("lion" "chases" "bear" "+")
triple11
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple15
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((triple5) -> (rule8 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple10) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple6) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
((((((triple1 ((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int2
The lion visits the bear.
("lion" "visits" "bear" "+")
int3
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int4
The lion visits the bear.
("lion" "visits" "bear" "+")
((triple1 ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int2
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
((((triple1 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int3