Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. All rough, quiet things are blue.
Charlie is kind.
@0: Charlie is blue.[(triple1 OR ((triple6 triple5) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)]