The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. All round, nice people are rough. If someone is rough and nice then they are cold. If the squirrel is cold and the squirrel is round then the squirrel is red.
The squirrel needs the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple5 triple2) -> rule1) triple2) -> rule2))] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3 OR ((triple1 triple5) -> rule3) OR ((((triple4 triple2) -> rule2) triple5) -> rule3) OR ((((((triple5 triple2) -> rule1) triple2) -> rule2) triple5) -> rule3))] The squirrel is rough.[(triple4 OR ((triple5 triple2) -> rule1))] The squirrel is round.[(triple5)]