The cow is cold. The cow is red. The cow is rough. The cow is round. The cow is young. The cow likes the tiger. The cow needs the tiger. The cow sees the tiger. The tiger is cold. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the cow. The tiger needs the cow. The tiger sees the cow. If someone is red then they see the cow. If someone sees the cow and the cow is round then the cow likes the tiger. If someone sees the tiger then they need the cow. If someone likes the cow then they need the tiger. If someone is round then they see the cow. If someone likes the cow and they are round then the cow likes the tiger.
The cow likes the cow.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the tiger.[(triple6 OR ((triple14 triple12) -> rule6) OR ((triple16 triple4) -> rule2) OR ((((triple10) -> rule1) triple4) -> rule2) OR ((((triple12) -> rule5) triple4) -> rule2) OR ((((triple2) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2))] The cow needs the tiger.[(triple7)] The cow sees the tiger.[(triple8)] The tiger is cold.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14)] The tiger needs the cow.[(triple15)] The tiger sees the cow.[(triple16 OR ((triple10) -> rule1) OR ((triple12) -> rule5))] @1: The cow needs the cow.[(((triple8) -> rule3))] The cow sees the cow.[(((triple2) -> rule1) OR ((triple4) -> rule5))] The tiger needs the tiger.[(((triple14) -> rule4))]