The bald eagle eats the mouse. The bald eagle likes the tiger. The bald eagle sees the lion. The lion does not eat the bald eagle. The lion is rough. The mouse likes the tiger. The tiger is cold. If something is kind then it sees the mouse. If something likes the mouse then it likes the tiger. If something is round then it does not like the tiger. If something sees the bald eagle then it likes the lion. If something sees the mouse then it is cold. Rough things are kind. If something eats the bald eagle then it likes the bald eagle. All cold things are round.
The lion eats the tiger.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion does not eat the bald eagle.[(triple4)] The lion is rough.[(triple5)] The mouse likes the tiger.[(triple6)] The tiger is cold.[(triple7)] @1: The lion is kind.[(((triple5) -> rule6))] The tiger is round.[(((triple7) -> rule8))] @2: The lion sees the mouse.[(((((triple5) -> rule6)) -> rule1))] The tiger does not like the tiger.[(((((triple7) -> rule8)) -> rule3))] @3: The lion is cold.[(((((((triple5) -> rule6)) -> rule1)) -> rule5))] @4: The lion is round.[(((((((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule8))] @5: The lion does not like the tiger.[(((((((((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule8)) -> rule3))]