Charlie is blue. Charlie is furry. Charlie is young. Erin is white. Erin is young. Gary is blue. Gary is quiet. Gary is white. Gary is not young. Harry is nice. Harry is quiet. Harry is smart. Blue people are furry. If Harry is young and Harry is nice then Harry is blue. All nice people are young. Quiet people are smart. If Harry is young then Harry is nice. If someone is blue and not furry then they are not white.
Gary is young.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1) -> rule1))] Charlie is young.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is blue.[(triple6)] Gary is not young.[(triple9)] Gary is quiet.[(triple7)] Gary is white.[(triple8)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule4))] @1: Gary is furry.[(((triple6) -> rule1))] Gary is smart.[(((triple7) -> rule4))] Harry is young.[(((triple10) -> rule3))] @2: Harry is blue.[(((((triple10) -> rule3) triple10) -> rule2))] @3: Harry is furry.[(((((((triple10) -> rule3) triple10) -> rule2)) -> rule1))]