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