The cat chases the squirrel. The cat is big. The cat is cold. The cat is rough. The cat is young. The cat needs the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is cold. The squirrel is rough. The squirrel needs the cat. The squirrel visits the cat. If someone chases the squirrel and the squirrel chases the cat then the cat is rough. If someone is cold and they chase the cat then the cat needs the squirrel. If someone chases the cat and they need the cat then they need the squirrel.
The squirrel is young.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is rough.[(triple4 OR ((triple1 triple8) -> rule1))] The cat is young.[(triple5)] The cat needs the squirrel.[(triple6 OR ((triple9 triple8) -> rule2))] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The squirrel needs the squirrel.[(((triple8 triple11) -> rule3))]