The cow is cold. The cow is rough. The cow likes the rabbit. The cow likes the squirrel. The cow needs the rabbit. The cow needs the tiger. The cow sees the rabbit. The cow sees the squirrel. The cow sees the tiger. The rabbit needs the squirrel. The rabbit needs the tiger. The squirrel is cold. The squirrel likes the tiger. The squirrel sees the rabbit. The tiger is round. The tiger sees the squirrel. If the tiger needs the rabbit and the rabbit is rough then the tiger likes the squirrel. Cold people are rough. If the tiger sees the rabbit then the tiger needs the squirrel.
The tiger is cold.
@0: The cow is cold.[(triple1)] The cow is rough.[(triple2 OR ((triple1) -> rule2))] The cow likes the rabbit.[(triple3)] The cow likes the squirrel.[(triple4)] The cow needs the rabbit.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the rabbit.[(triple7)] The cow sees the squirrel.[(triple8)] The cow sees the tiger.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit needs the tiger.[(triple11)] The squirrel is cold.[(triple12)] The squirrel likes the tiger.[(triple13)] The squirrel sees the rabbit.[(triple14)] The tiger is round.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel is rough.[(((triple12) -> rule2))]