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