Bob is blue. Bob is furry. Bob is white. Erin is blue. Erin is round. Erin is white. Gary is furry. Gary is round. Harry is furry. Harry is round. If something is furry then it is blue. All red, quiet things are blue. All quiet, young things are red.
Harry is quiet.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1))] Bob is furry.[(triple2)] Bob is white.[(triple3)] Erin is blue.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Gary is furry.[(triple7)] Gary is round.[(triple8)] Harry is furry.[(triple9)] Harry is round.[(triple10)] @1: Gary is blue.[(((triple7) -> rule1))] Harry is blue.[(((triple9) -> rule1))]