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