Charlie is furry. Erin is white. Gary is kind. If Gary is kind and Gary is cold then Gary is white. If someone is young and kind then they are cold. All cold people are young. White, cold people are round. All white people are round. If someone is quiet then they are young. Kind people are quiet. If someone is young and quiet then they are cold.
Erin is round.
@0: Charlie is furry.[(triple1)] Erin is white.[(triple2)] Gary is kind.[(triple3)] @1: Erin is round.[(((triple2) -> rule5))] Gary is quiet.[(((triple3) -> rule7))] @2: Gary is young.[(((((triple3) -> rule7)) -> rule6))] @3: Gary is cold.[(((((((triple3) -> rule7)) -> rule6) triple3) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8))] @4: Gary is white.[(((triple3 ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule1) OR ((triple3 ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule1))] @5: Gary is round.[(((((triple3 ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule1)) -> rule5) OR ((((triple3 ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule1)) -> rule5) OR ((((triple3 ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule1) ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule1) ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule4) OR ((((triple3 ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule1) ((((((triple3) -> rule7)) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule1) ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8)) -> rule4))]