The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. Big things are rough. All kind things are big.
The squirrel does not like the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple3) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is rough.[(triple4 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] The squirrel is round.[(triple5)]