The cat chases the cow. The cat is big. The cat is green. The cat is kind. The cat is nice. The cat is red. The cat likes the cow. The cat needs the cow. The cow chases the cat. The cow is kind. The cow is red. The cow likes the cat. If something chases the cow and it likes the cow then it likes the cat. If something likes the cat then it needs the cat.
The cat is not nice.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat likes the cow.[(triple7)] The cat needs the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow likes the cat.[(triple12)] @1: The cat likes the cat.[(((triple1 triple7) -> rule1))] The cow needs the cat.[(((triple12) -> rule2))] @2: The cat needs the cat.[(((((triple1 triple7) -> rule1)) -> rule2))]