The cat chases the tiger. The cat is big. The cat is rough. The cat is young. The cat needs the tiger. The cow chases the cat. The cow is round. The cow needs the cat. The cow visits the tiger. The tiger is big. The tiger is cold. The tiger is young. The tiger needs the cat. The tiger needs the cow. The tiger visits the cat. If someone visits the tiger then the tiger is big. Round people are young. If someone needs the cow and they chase the tiger then the cow visits the cat. If someone chases the cow and they need the cat then they need the tiger. If someone visits the cat then they chase the tiger. If the cat is young and the cat chases the tiger then the cat needs the tiger.
The tiger chases the cow.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat needs the tiger.[(triple5 OR ((triple4 triple1) -> rule6))] The cow chases the cat.[(triple6)] The cow is round.[(triple7)] The cow needs the cat.[(triple8)] The cow visits the tiger.[(triple9)] The tiger is big.[(triple10 OR ((triple9) -> rule1))] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] The tiger needs the cat.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cow is young.[(((triple7) -> rule2))] The tiger chases the tiger.[(((triple15) -> rule5))] @2: The cow visits the cat.[(((triple14 ((triple15) -> rule5)) -> rule3))] @3: The cow chases the tiger.[(((((triple14 ((triple15) -> rule5)) -> rule3)) -> rule5))]