The rabbit chases the tiger. The rabbit is big. The rabbit likes the tiger. The tiger chases the rabbit. The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger likes the rabbit. The tiger sees the rabbit. If something chases the rabbit then the rabbit sees the tiger. If something likes the tiger and it likes the rabbit then the tiger chases the rabbit. If something is round and it chases the tiger then the tiger is red. If something chases the rabbit and it is round then it likes the rabbit. If something likes the tiger then it is big. If the rabbit is red then the rabbit sees the tiger. If something sees the tiger then the tiger likes the rabbit. If something sees the tiger then it likes the rabbit.
The rabbit is cold.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is big.[(triple2 OR ((triple3) -> rule5))] The rabbit likes the tiger.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger is cold.[(triple5)] The tiger is green.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger likes the rabbit.[(triple9 OR ((triple4 triple8) -> rule4) OR ((((triple4) -> rule1)) -> rule7))] The tiger sees the rabbit.[(triple10)] @1: The rabbit sees the tiger.[(((triple4) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple4) -> rule1)) -> rule8))]