The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is rough. All big, kind things are rough. All big, rough things are cold. Rough things are green.
The squirrel is rough.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple1 triple4) -> rule1)) -> rule2))] The squirrel is green.[(triple3 OR ((triple5) -> rule3) OR ((((triple1 triple4) -> rule1)) -> rule3))] The squirrel is kind.[(triple4)] The squirrel is rough.[(triple5 OR ((triple1 triple4) -> rule1))]