The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel is young. Red things are rough. If something is cold then it is round. If the squirrel is round then the squirrel is red.
The squirrel is round.
@0: The squirrel is cold.[(triple1)] The squirrel is red.[(triple2 OR ((triple4) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] The squirrel is rough.[(triple3 OR ((triple2) -> rule1) OR ((((triple4) -> rule3)) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] The squirrel is round.[(triple4 OR ((triple1) -> rule2))] The squirrel is young.[(triple5)]