The bald eagle chases the lion. The bald eagle chases the squirrel. The bald eagle is nice. The bald eagle is round. The lion does not eat the squirrel. The lion is rough. The lion is young. The lion visits the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel is nice. The squirrel is rough. The squirrel is not round. The squirrel visits the lion. If something eats the squirrel and the squirrel does not eat the lion then the lion does not chase the bald eagle. If the bald eagle is young and the bald eagle is not round then the bald eagle is nice. If something chases the squirrel then the squirrel is not young. If the lion is rough and the lion chases the bald eagle then the bald eagle eats the lion. If the lion does not chase the bald eagle then the lion is not young. If the bald eagle is not nice then the bald eagle visits the squirrel.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If something eats the squirrel and the squirrel does not eat the lion then the lion does not chase the bald eagle.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "lion" "~")) -> ("lion" "chases" "bald eagle" "-"))
If the bald eagle is young and the bald eagle is not round then the bald eagle is nice.
((("bald eagle" "is" "young" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "is" "nice" "+"))
If something chases the squirrel then the squirrel is not young.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "-"))
If the lion is rough and the lion chases the bald eagle then the bald eagle eats the lion.
((("lion" "is" "rough" "+") ("lion" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the lion does not chase the bald eagle then the lion is not young.
((("lion" "chases" "bald eagle" "~")) -> ("lion" "is" "young" "-"))
If the bald eagle is not nice then the bald eagle visits the squirrel.
((("bald eagle" "is" "nice" "~")) -> ("bald eagle" "visits" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple13)]
("squirrel" "is" "rough" "+")
triple13
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The squirrel is not young.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "is" "young" "-")
((triple2) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is young.
False
2
inv-proof
[(((triple2) -> rule3))]
("squirrel" "is" "young" "+")
((triple2) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
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 bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The lion does not eat the squirrel.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is big.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not round.[(triple14)] The squirrel is rough.[(triple13)] The squirrel visits the lion.[(triple15)] @1: The squirrel is not young.[(((triple2) -> rule3))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not round.
("squirrel" "is" "round" "-")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The squirrel is not young.
("squirrel" "is" "young" "-")
((triple2) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1