Bob is kind. Charlie is blue. Charlie is kind. Charlie is red. Gary is quiet. Gary is red. Gary is round. If someone is red then they are kind. If someone is kind and quiet then they are green. All quiet, green people are furry.
Charlie is not furry.
@0: Bob is kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule1))] Charlie is red.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)] @1: Gary is kind.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1) triple5) -> rule2))] @3: Gary is furry.[(((triple5 ((((triple6) -> rule1) triple5) -> rule2)) -> rule3))]