Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is white. Charlie is young. If Charlie is quiet and Charlie is big then Charlie is green. Green, big things are young.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple5 triple1) -> rule1))] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4 triple1) -> rule2) OR ((((triple5 triple1) -> rule1) triple1) -> rule2))]