The cat chases the cow. The cat is nice. The cat is red. The cat is round. The cat likes the cow. The cat needs the cow. The cow needs the cat. If something needs the cow and the cow needs the cat then it is rough. If something is big then it is rough. If the cat likes the cow then the cat chases the cow. If something needs the cow and the cow needs the cat then the cow is big. If something likes the cat then the cat is nice. If something likes the cat then it is round.
The cat chases the cat.
@0: The cat chases the cow.[(triple1 OR ((triple5) -> rule3))] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat likes the cow.[(triple5)] The cat needs the cow.[(triple6)] The cow needs the cat.[(triple7)] @1: The cat is rough.[(((triple6 triple7) -> rule1))] The cow is big.[(((triple6 triple7) -> rule4))] @2: The cow is rough.[(((((triple6 triple7) -> rule4)) -> rule2))]