Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. All cold people are big. If Charlie is cold then Charlie is nice. Big people are cold.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule1))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple1) -> rule3))] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6 OR ((triple3) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Charlie is quiet.[(triple7)]