Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is young. If someone is furry and young then they are quiet. If Charlie is young and Charlie is furry then Charlie is big.
Charlie is not young.
@0: Charlie is big.[(triple1 OR ((triple7 triple2) -> rule2))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple2 triple7) -> rule1))] Charlie is red.[(triple6)] Charlie is young.[(triple7)]