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