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