The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is young. If something is rough and nice then it is young. Kind, rough things are nice.
The squirrel is rough.
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2 triple4) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2 triple4) -> rule2)) -> rule1))]