The bald eagle chases the tiger. The bald eagle is round. The bald eagle likes the tiger. The tiger eats the bald eagle. The tiger is cold. The tiger is red. The tiger likes the bald eagle. If something likes the tiger then it chases the tiger. Rough things are kind. If the bald eagle does not like the tiger then the tiger is kind.
The bald eagle is not kind.
@0: The bald eagle chases the tiger.[(triple1 OR ((triple3) -> rule1))] The bald eagle is round.[(triple2)] The bald eagle likes the tiger.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger is cold.[(triple5)] The tiger is red.[(triple6)] The tiger likes the bald eagle.[(triple7)]