The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion does not need the squirrel. The lion sees the squirrel. The lion visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel needs the lion. The squirrel sees the lion. The squirrel visits the lion. If the lion is not cold then the lion needs the squirrel. If someone needs the squirrel and they do not visit the squirrel then the squirrel is cold. If someone is cold and they visit the squirrel then they are big. If someone visits the lion then they are blue. If the squirrel needs the lion then the squirrel is big. If someone visits the lion and the lion does not need the squirrel then the squirrel sees the lion. If the squirrel is cold and the squirrel sees the lion then the squirrel visits the lion. If someone visits the squirrel and they are not cold then the squirrel needs the lion.
The squirrel does not need the squirrel.
@0: The lion does not need the squirrel.[(triple6)] The lion is big.[(triple1 OR ((triple3 triple8) -> rule3))] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion sees the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel is big.[(triple9 OR ((triple13) -> rule5))] The squirrel is blue.[(triple10 OR ((triple15) -> rule4) OR ((((triple11 triple14) -> rule7)) -> rule4))] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The squirrel needs the lion.[(triple13)] The squirrel sees the lion.[(triple14 OR ((triple15 triple6) -> rule6))] The squirrel visits the lion.[(triple15 OR ((triple11 triple14) -> rule7))]