Erin is quiet. Erin is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is not smart. Gary is smart. Harry is big. Harry is cold. Harry is furry. Harry is not kind. Harry is quiet. Harry is young. If Gary is not young then Gary is not quiet. If Fiona is quiet and Fiona is cold then Fiona is not smart. Quiet, furry people are big. All young people are big. All smart people are big. Cold, quiet people are not smart. If someone is smart and not quiet then they are cold. All big people are cold.
Gary is young.
@0: Erin is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is big.[(triple3 OR ((triple7 triple5) -> rule3))] Fiona is cold.[(triple4 OR ((triple3) -> rule8) OR ((((triple7 triple5) -> rule3)) -> rule8))] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not smart.[(triple8 OR ((triple4 triple7) -> rule6) OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple3) -> rule8)) -> rule2) OR ((((triple3) -> rule8) triple7) -> rule6) OR ((triple7 ((((triple7 triple5) -> rule3)) -> rule8)) -> rule2) OR ((((((triple7 triple5) -> rule3)) -> rule8) triple7) -> rule6))] Fiona is quiet.[(triple7)] Gary is smart.[(triple9)] Harry is big.[(triple10 OR ((triple15) -> rule4) OR ((triple14 triple12) -> rule3))] Harry is cold.[(triple11 OR ((triple10) -> rule8) OR ((((triple15) -> rule4)) -> rule8) OR ((((triple14 triple12) -> rule3)) -> rule8))] Harry is furry.[(triple12)] Harry is not kind.[(triple13)] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Erin is big.[(((triple2) -> rule4))] Gary is big.[(((triple9) -> rule5))] Harry is not smart.[(((triple11 triple14) -> rule6) OR ((((triple10) -> rule8) triple14) -> rule6) OR ((((((triple15) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((triple14 triple12) -> rule3)) -> rule8) triple14) -> rule6))] @2: Erin is cold.[(((((triple2) -> rule4)) -> rule8))] Gary is cold.[(((((triple9) -> rule5)) -> rule8))] @3: Erin is not smart.[(((((((triple2) -> rule4)) -> rule8) triple1) -> rule6))]