Charlie is blue. Charlie is furry. Charlie is red. Charlie is young. Dave is furry. Gary is furry. Gary is green. Gary is nice. Harry is green. Harry is young. All furry, blue things are nice. If something is blue then it is green. Red things are nice. All nice things are red. All nice things are red. All blue things are young. If Dave is quiet and Dave is red then Dave is furry. If something is quiet then it is nice.
Gary is not furry.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((((triple2 triple1) -> rule1)) -> rule4) OR ((((triple2 triple1) -> rule1)) -> rule5))] Charlie is young.[(triple4 OR ((triple1) -> rule6))] Dave is furry.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Charlie is green.[(((triple1) -> rule2))] Charlie is nice.[(((triple3) -> rule3) OR ((triple2 triple1) -> rule1))] Gary is red.[(((triple8) -> rule4) OR ((triple8) -> rule5))]