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