Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. If Charlie is quiet and Charlie is white then Charlie is furry. All red, white people are smart.
Charlie is red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4 triple7) -> rule1))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple5 triple7) -> rule2))] Charlie is white.[(triple7)]