The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is rough. The bald eagle is round. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion is blue. The lion is not rough. The lion does not need the bald eagle. The squirrel needs the lion. If someone eats the lion then they eat the bald eagle. If someone needs the squirrel and the squirrel eats the bald eagle then they eat the squirrel. If someone visits the squirrel then they need the bald eagle. If someone eats the bald eagle and they need the squirrel then the squirrel needs the lion. If someone eats the squirrel and they visit the lion then the squirrel eats the lion. If someone is kind then they do not need the lion.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone eats the lion then they eat the bald eagle.
((("someone" "eats" "lion" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone needs the squirrel and the squirrel eats the bald eagle then they eat the squirrel.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the squirrel then they need the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone eats the bald eagle and they need the squirrel then the squirrel needs the lion.
((("someone" "eats" "bald eagle" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
If someone eats the squirrel and they visit the lion then the squirrel eats the lion.
((("someone" "eats" "squirrel" "+") ("someone" "visits" "lion" "+")) -> ("squirrel" "eats" "lion" "+"))
If someone is kind then they do not need the lion.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "lion" "-"))
The bald eagle visits the squirrel.
True
1
proof
[(triple6)]
("bald eagle" "visits" "squirrel" "+")
triple6
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "lion" "-")
triple5
The bald eagle needs the bald eagle.
True
2
proof
[(((triple6) -> rule3))]
("bald eagle" "needs" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple6) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((triple6) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
True
4
proof
[(((((triple1 triple5) -> rule5)) -> rule1))]
("squirrel" "eats" "bald eagle" "+")
((((triple1 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The squirrel does not eat the bald eagle.
False
4
inv-proof
[(((((triple1 triple5) -> rule5)) -> rule1))]
("squirrel" "eats" "bald eagle" "-")
((((triple1 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
The lion does not visit the bald eagle.
Unknown
inv-random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The lion does not need the bald eagle.[(triple9)] The lion is blue.[(triple7)] The lion is not rough.[(triple8)] The squirrel needs the lion.[(triple10)] @1: The bald eagle needs the bald eagle.[(((triple6) -> rule3))] The squirrel eats the lion.[(((triple1 triple5) -> rule5))] @2: The squirrel eats the bald eagle.[(((((triple1 triple5) -> rule5)) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is not rough.
("lion" "is" "rough" "-")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple10
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple1 triple5) -> (rule5 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((((triple1 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2