The cat is big. The cow likes the cat. If something is big and it likes the cow then it eats the cow. If something chases the cat then it likes the cow. If something likes the cat then it is nice. If something likes the cat then it eats the cow. If something chases the cat and it likes the cow then the cat likes the cow. If something likes the cat then the cat is kind. If something chases the cow then it is kind. If something is rough and it chases the cow then it is nice.
The cat is not rough.
@0: The cat is big.[(triple1)] The cow likes the cat.[(triple2)] @1: The cat is kind.[(((triple2) -> rule6))] The cow eats the cow.[(((triple2) -> rule4))] The cow is nice.[(((triple2) -> rule3))]