Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is young. Harry is cold. Harry is quiet. Harry is not rough. Harry is not smart. Harry is young. Cold, furry things are quiet. Smart, rough things are quiet. If Bob is young and Bob is not kind then Bob is smart. If Harry is smart then Harry is not kind. If something is smart and not cold then it is not young. All kind things are furry. If something is furry and not rough then it is smart. If Harry is young and Harry is not rough then Harry is quiet.
Erin is young.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule6))] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple3) -> rule6)) -> rule1))] Bob is smart.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule6))] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple8) -> rule6)) -> rule1))] Erin is rough.[(triple10)] Erin is young.[(triple11)] Harry is cold.[(triple12)] Harry is not rough.[(triple14)] Harry is not smart.[(triple15)] Harry is quiet.[(triple13 OR ((triple16 triple14) -> rule8))] Harry is young.[(triple16)]