Erin is cold. Erin is furry. Erin is quiet. Erin is round. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is round. All furry people are kind. Kind people are young.
Erin is green.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10 OR ((((triple6) -> rule1)) -> rule2))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple12) -> rule1))] Harry is quiet.[(triple14)] Harry is round.[(triple15)] @1: Erin is kind.[(((triple2) -> rule1))] Gary is kind.[(((triple6) -> rule1))] Harry is young.[(((triple13) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] @2: Erin is young.[(((((triple2) -> rule1)) -> rule2))]