The cat chases the cow. The cat is cold. The cat is rough. The cat sees the cow. The cow chases the cat. The cow is kind. The tiger chases the cat. The tiger chases the cow. The tiger is nice. The tiger is rough. The tiger needs the cat. The tiger needs the cow. If someone sees the tiger then they chase the tiger. If the tiger needs the cow then the tiger chases the cat. If the cow needs the cat and the cow chases the tiger then the cow sees the tiger. If someone chases the cat then they are cold. If the cat needs the cow and the cow sees the cat then the cow chases the tiger. If the cat chases the tiger then the tiger sees the cat. If someone chases the cat and they chase the cow then the cow is cold. If someone is green and they chase the cat then they are nice.
The cat needs the cat.
@0: The cat chases the cow.[(triple1)] The cat is cold.[(triple2)] The cat is rough.[(triple3)] The cat sees the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow is kind.[(triple6)] The tiger chases the cat.[(triple7 OR ((triple12) -> rule2))] The tiger chases the cow.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow is cold.[(((triple5) -> rule4) OR ((triple7 triple8) -> rule7) OR ((((triple12) -> rule2) triple8) -> rule7))] The tiger is cold.[(((triple7) -> rule4) OR ((((triple12) -> rule2)) -> rule4))]