Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is young. Erin is cold. Erin is rough. Erin is young. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is young. If someone is cold and big then they are furry. All quiet, rough people are kind. All rough, cold people are quiet.
Erin is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple1) -> rule1))] Anne is kind.[(triple4 OR ((((triple5 triple2) -> rule3) triple5) -> rule2))] Anne is rough.[(triple5)] Anne is young.[(triple6)] Erin is cold.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple11 triple10) -> rule1))] Harry is kind.[(triple13 OR ((triple14 triple15) -> rule2) OR ((((triple15 triple11) -> rule3) triple15) -> rule2))] Harry is quiet.[(triple14 OR ((triple15 triple11) -> rule3))] Harry is rough.[(triple15)] Harry is young.[(triple16)] @1: Anne is quiet.[(((triple5 triple2) -> rule3))] Erin is quiet.[(((triple8 triple7) -> rule3))] @2: Erin is kind.[(((((triple8 triple7) -> rule3) triple8) -> rule2))]