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