Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. If something is round and rough then it is furry.
Charlie is quiet.
@0: Charlie is furry.[(triple1 OR ((triple6 triple5) -> rule1))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)]