The cat eats the lion. The cat eats the squirrel. The cat is big. The cat is round. The cat needs the lion. The cat does not need the squirrel. The cat visits the squirrel. The lion eats the cat. The lion needs the cat. The squirrel does not eat the cat. The squirrel eats the lion. The squirrel is big. The squirrel is not nice. The squirrel is round. The squirrel needs the lion. The squirrel visits the cat. If someone is round and they eat the lion then the lion eats the cat. If the squirrel is round and the squirrel visits the lion then the squirrel does not visit the cat. If the lion visits the squirrel and the cat does not need the lion then the squirrel visits the cat. If the squirrel is round and the squirrel does not need the lion then the lion needs the squirrel. If someone is cold then they do not visit the lion. If someone visits the cat and they need the squirrel then they visit the squirrel.
The cat eats the cat.
@0: The cat does not need the squirrel.[(triple6)] The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cat needs the lion.[(triple5)] The cat visits the squirrel.[(triple7)] The lion eats the cat.[(triple8 OR ((triple14 triple11) -> rule1) OR ((triple4 triple1) -> rule1))] The lion needs the cat.[(triple9)] The squirrel does not eat the cat.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is big.[(triple12)] The squirrel is not nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel visits the cat.[(triple16)]