The rabbit chases the tiger. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit likes the tiger. The rabbit sees the tiger. The tiger chases the rabbit. The tiger is blue. The tiger is not rough. The tiger is young. The tiger likes the rabbit. The tiger sees the rabbit. If something likes the tiger and the tiger does not like the rabbit then the rabbit is blue. If something is rough and it sees the tiger then it is round. If the tiger is blue then the tiger sees the rabbit.
The rabbit does not see the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is young.[(triple4)] The rabbit likes the tiger.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger chases the rabbit.[(triple7)] The tiger is blue.[(triple8)] The tiger is not rough.[(triple9)] The tiger is young.[(triple10)] The tiger likes the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple8) -> rule3))] @1: The rabbit is round.[(((triple3 triple6) -> rule2))]