The lion likes the squirrel. The lion needs the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is kind. The squirrel is rough. The squirrel needs the lion. If someone likes the lion then they eat the squirrel. If someone needs the lion and they like the lion then the lion likes the squirrel. All rough people are red. If someone likes the lion and the lion likes the squirrel then the squirrel eats the lion. If someone is red and they like the lion then they like the squirrel. If someone likes the squirrel then they eat the squirrel. If someone eats the squirrel and the squirrel eats the lion then they are rough. If someone likes the squirrel then the squirrel needs the lion.
The squirrel is rough.
@0: The lion likes the squirrel.[(triple1)] The lion needs the squirrel.[(triple2)] The squirrel eats the lion.[(triple3)] The squirrel is big.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the lion.[(triple7 OR ((triple1) -> rule8))] @1: The lion eats the squirrel.[(((triple1) -> rule6))] The squirrel is red.[(((triple6) -> rule3))] @2: The lion is rough.[(((((triple1) -> rule6) triple3) -> rule7))] @3: The lion is red.[(((((((triple1) -> rule6) triple3) -> rule7)) -> rule3))]