The cat chases the cow. The cat is big. The cat likes the cow. The cow chases the cat. The cow is big. The cow is cold. The cow is nice. The cow is rough. The cow likes the cat. The cow sees the cat. If something chases the cow then the cow chases the cat. If the cat is rough then the cat is big.
The cow is nice.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat likes the cow.[(triple3)] The cow chases the cat.[(triple4 OR ((triple1) -> rule1))] The cow is big.[(triple5)] The cow is cold.[(triple6)] The cow is nice.[(triple7)] The cow is rough.[(triple8)] The cow likes the cat.[(triple9)] The cow sees the cat.[(triple10)]