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 not blue.
@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)]