Bob is cold. Charlie is smart. Gary is smart. Gary is young. Harry is furry. Harry is quiet. Harry is smart. All furry people are young. All furry people are young. Red people are furry. Smart people are furry. All young, furry people are round. Cold, young people are red.
Gary is young.
@0: Bob is cold.[(triple1)] Charlie is smart.[(triple2)] Gary is smart.[(triple3)] Gary is young.[(triple4 OR ((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule2))] Harry is furry.[(triple5 OR ((triple7) -> rule4))] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is furry.[(((triple2) -> rule4))] Gary is furry.[(((triple3) -> rule4))] Harry is young.[(((triple5) -> rule1) OR ((triple5) -> rule2) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule4)) -> rule2))] @2: Charlie is young.[(((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4)) -> rule2))] Gary is round.[(((triple4 ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule5))] Harry is round.[(((((triple5) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5) OR ((((triple5) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((triple5) -> rule2) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((triple7) -> rule4)) -> rule2) triple5) -> rule5) OR ((((((triple7) -> rule4)) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule5))] @3: Charlie is round.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule5))]