The bald eagle chases the squirrel. The bald eagle is not blue. The bald eagle is cold. The bald eagle is not green. The bald eagle is not red. The bald eagle needs the lion. The bald eagle needs the squirrel. The bald eagle sees the lion. The bald eagle sees the squirrel. The lion is blue. The lion is not cold. The lion is green. The lion is not red. The lion sees the bald eagle. The lion sees the squirrel. The squirrel sees the bald eagle. If someone chases the bald eagle then they are not cold. If someone is green and they chase the squirrel then they are cold. If someone needs the lion and they need the squirrel then the squirrel chases the bald eagle. If the bald eagle is cold and the bald eagle needs the squirrel then the squirrel is not green. If someone sees the lion and the lion needs the bald eagle then they chase the lion. If someone sees the bald eagle and they are not cold then they are blue.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is green.
("lion" "is" "green" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone chases the bald eagle then they are not cold.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "cold" "-"))
If someone is green and they chase the squirrel then they are cold.
((("someone" "is" "green" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the lion and they need the squirrel then the squirrel chases the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If the bald eagle is cold and the bald eagle needs the squirrel then the squirrel is not green.
((("bald eagle" "is" "cold" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "is" "green" "-"))
If someone sees the lion and the lion needs the bald eagle then they chase the lion.
((("someone" "sees" "lion" "+") ("lion" "needs" "bald eagle" "+")) -> ("someone" "chases" "lion" "+"))
If someone sees the bald eagle and they are not cold then they are blue.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "blue" "+"))
The bald eagle is not blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The lion is red.
False
1
inv-proof
[(triple13)]
("lion" "is" "red" "+")
triple13
The squirrel is not green.
True
3
proof
[(((triple3 triple7) -> rule4))]
("squirrel" "is" "green" "-")
((triple3 triple7) -> (rule4 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("squirrel" "chases" "bald eagle" "-")
((triple6 triple7) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is not cold.
True
4
proof
[(((((triple6 triple7) -> rule3)) -> rule1))]
("squirrel" "is" "cold" "-")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel is cold.
False
4
inv-proof
[(((((triple6 triple7) -> rule3)) -> rule1))]
("squirrel" "is" "cold" "+")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel is blue.
True
6
proof
[(((triple16 ((((triple6 triple7) -> rule3)) -> rule1)) -> rule6))]
("squirrel" "is" "blue" "+")
((triple16 ((((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The squirrel is not blue.
False
6
inv-proof
[(((triple16 ((((triple6 triple7) -> rule3)) -> rule1)) -> rule6))]
("squirrel" "is" "blue" "-")
((triple16 ((((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The squirrel chases the lion.
Unknown
rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "lion" "+")
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "lion" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
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 chases the squirrel.
Unknown
random
[@0: The lion chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is not green.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle sees the lion.[(triple8)] The bald eagle sees the squirrel.[(triple9)] The lion is blue.[(triple10 OR ((triple14 triple11) -> rule6))] The lion is green.[(triple12)] The lion is not cold.[(triple11)] The lion is not red.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the squirrel.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The squirrel chases the bald eagle.[(((triple6 triple7) -> rule3))] The squirrel is not green.[(((triple3 triple7) -> rule4))] @2: The squirrel is not cold.[(((((triple6 triple7) -> rule3)) -> rule1))] @3: The squirrel is blue.[(((triple16 ((((triple6 triple7) -> rule3)) -> rule1)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple5
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple6
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple7
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple8
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
((triple14 triple11) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is not cold.
("lion" "is" "cold" "-")
triple11
The lion is not red.
("lion" "is" "red" "-")
triple13
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple14
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple15
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple16
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple6 triple7) -> (rule3 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is not green.
("squirrel" "is" "green" "-")
((triple3 triple7) -> (rule4 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is not cold.
("squirrel" "is" "cold" "-")
((((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple16 ((((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3