The cat chases the rabbit. The cat is big. The cat is round. The cat needs the rabbit. The cat sees the squirrel. The rabbit is cold. The rabbit sees the squirrel. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel needs the cat. The squirrel needs the rabbit. The squirrel sees the rabbit. If something sees the squirrel then the squirrel needs the rabbit.
The cat chases the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is round.[(triple3)] The cat needs the rabbit.[(triple4)] The cat sees the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the cat.[(triple13)] The squirrel needs the rabbit.[(triple14 OR ((triple5) -> rule1) OR ((triple7) -> rule1))] The squirrel sees the rabbit.[(triple15)]