Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. All red things are big. Round, big things are cold. All furry things are red.
Charlie is not furry.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Charlie is cold.[(triple2 OR ((triple7 triple1) -> rule2) OR ((triple7 ((triple6) -> rule1)) -> rule2) OR ((triple7 ((((triple3) -> rule3)) -> rule1)) -> rule2))] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple3) -> rule3))] Charlie is round.[(triple7)]