Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Harry is quiet. Harry is red. Harry is smart. Harry is white. If something is red then it is green.
Charlie is not white.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple5) -> rule1))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is green.[(((triple8) -> rule1))]