Erin is big. Erin is kind. Fiona is kind. Fiona is quiet. Fiona is smart. Gary is green. Gary is white. Harry is not big. Harry is green. Harry is kind. Harry is white. Harry is young. If Harry is white then Harry is not smart. If Harry is smart and Harry is not big then Harry is green. If Gary is quiet then Gary is kind. If Gary is young then Gary is quiet. Green, smart people are quiet. If someone is big then they are smart. All green people are young. Quiet, young people are kind.
Erin is young.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Gary is white.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not big.[(triple8)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((triple9) -> rule7))] @1: Erin is smart.[(((triple1) -> rule6))] Gary is young.[(((triple6) -> rule7))] Harry is not smart.[(((triple11) -> rule1))] @2: Gary is quiet.[(((((triple6) -> rule7)) -> rule4))] @3: Gary is kind.[(((((((triple6) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule7)) -> rule4) ((triple6) -> rule7)) -> rule8))]