Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Young things are kind. If Charlie is smart and Charlie is rough then Charlie is big. All cold, rough things are young.
Charlie is kind.
@0: Charlie is big.[(triple1 OR ((triple6 triple5) -> rule2))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple7) -> rule1) OR ((((triple2 triple5) -> rule3)) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple2 triple5) -> rule3))]