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