The bald eagle is cold. The bald eagle is round. The bald eagle sees the lion. The lion is green. The rabbit sees the bald eagle. The rabbit sees the lion. The tiger visits the lion. If the bald eagle sees the tiger then the bald eagle likes the rabbit. If something is cold then it sees the tiger. If something visits the lion and the lion likes the tiger then the lion is not round. If something sees the lion then it likes the bald eagle. If something likes the rabbit and the rabbit sees the lion then the rabbit does not visit the bald eagle. If something is green and it does not visit the lion then it does not see the rabbit. If something is kind and green then it visits the rabbit. If something sees the bald eagle and the bald eagle does not like the rabbit then the bald eagle is young.
The bald eagle likes the tiger.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion is green.[(triple4)] The rabbit sees the bald eagle.[(triple5)] The rabbit sees the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule4))] The bald eagle sees the tiger.[(((triple1) -> rule2))] The rabbit likes the bald eagle.[(((triple6) -> rule4))] @2: The bald eagle likes the rabbit.[(((((triple1) -> rule2)) -> rule1))] @3: The rabbit does not visit the bald eagle.[(((((((triple1) -> rule2)) -> rule1) triple6) -> rule5))]