The bald eagle is cold. The bald eagle is green. The bald eagle likes the tiger. The bald eagle needs the lion. The bald eagle sees the tiger. The lion is green. The tiger is not rough. The tiger likes the bald eagle. The tiger likes the lion. The tiger does not need the bald eagle. The tiger sees the bald eagle. The tiger sees the lion. If something likes the tiger and it does not need the lion then the lion likes the tiger. If something sees the lion and it is cold then the lion sees the bald eagle. If something sees the tiger and the tiger needs the lion then the tiger likes the bald eagle. If something sees the bald eagle then it is cold. If something needs the lion then it sees the lion. If the bald eagle needs the tiger then the bald eagle is not green.
The lion does not see the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle sees the tiger.[(triple5)] The lion is green.[(triple6)] The tiger does not need the bald eagle.[(triple10)] The tiger is not rough.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger likes the lion.[(triple9)] The tiger sees the bald eagle.[(triple11)] The tiger sees the lion.[(triple12)] @1: The bald eagle sees the lion.[(((triple4) -> rule5))] The tiger is cold.[(((triple11) -> rule4))] @2: The lion sees the bald eagle.[(((triple12 ((triple11) -> rule4)) -> rule2) OR ((((triple4) -> rule5) triple1) -> rule2))] @3: The lion is cold.[(((((triple12 ((triple11) -> rule4)) -> rule2)) -> rule4) OR ((((((triple4) -> rule5) triple1) -> rule2)) -> rule4))]