The lion is big. The lion is blue. The lion needs the squirrel. The lion sees the squirrel. The squirrel is big. The squirrel needs the lion. The squirrel visits the lion. If someone is cold then they need the squirrel. If someone sees the squirrel then they are cold. If someone needs the lion then they visit the lion. If someone needs the squirrel then they are round. If someone sees the lion then they see the squirrel. If someone is rough and they see the squirrel then they are round.
The squirrel is not big.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion needs the squirrel.[(triple3 OR ((((triple4) -> rule2)) -> rule1))] The lion sees the squirrel.[(triple4)] The squirrel is big.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7 OR ((triple6) -> rule3))] @1: The lion is cold.[(((triple4) -> rule2))] The lion is round.[(((triple3) -> rule4) OR ((((((triple4) -> rule2)) -> rule1)) -> rule4))]