The cat does not like the lion. The cat needs the squirrel. The lion is big. The lion is red. The lion does not need the squirrel. The squirrel is big. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel likes the cat. The squirrel likes the lion. The squirrel needs the cat. The squirrel needs the lion. The squirrel sees the cat. The squirrel sees the lion. If the lion sees the squirrel and the squirrel does not see the lion then the lion is green. If someone is big and they do not need the squirrel then the squirrel needs the cat. If someone likes the squirrel and the squirrel is not blue then the squirrel needs the cat.
The lion is big.
@0: The cat does not like the lion.[(triple1)] The cat needs the squirrel.[(triple2)] The lion does not need the squirrel.[(triple5)] The lion is big.[(triple3)] The lion is red.[(triple4)] The squirrel is big.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel needs the cat.[(triple12 OR ((triple3 triple5) -> rule2))] The squirrel needs the lion.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel sees the lion.[(triple15)]