Anne is big. Anne is furry. Anne is rough. Anne is smart. Charlie is furry. Dave is rough. Harry is big. Harry is cold. Harry is green. Harry is rough. Harry is smart. All young people are furry. All young, big people are smart. If Charlie is furry then Charlie is young. Young, furry people are cold. If someone is young then they are rough. If someone is green and cold then they are big. Cold people are rough. If Dave is rough and Dave is furry then Dave is cold. Rough, young people are green.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is furry.[(triple5)] Dave is rough.[(triple6)] Harry is big.[(triple7 OR ((triple9 triple8) -> rule6))] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10 OR ((triple8) -> rule7))] Harry is smart.[(triple11)] @1: Charlie is young.[(((triple5) -> rule3))] @2: Charlie is cold.[(((((triple5) -> rule3) triple5) -> rule4))] Charlie is rough.[(((((triple5) -> rule3)) -> rule5) OR ((((((triple5) -> rule3) triple5) -> rule4)) -> rule7))] @3: Charlie is green.[(((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule9) OR ((((((((triple5) -> rule3) triple5) -> rule4)) -> rule7) ((triple5) -> rule3)) -> rule9))] @4: Charlie is big.[(((((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule9) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6) OR ((((((((((triple5) -> rule3) triple5) -> rule4)) -> rule7) ((triple5) -> rule3)) -> rule9) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6))] @5: Charlie is smart.[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule9) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule3) ((((((((((triple5) -> rule3) triple5) -> rule4)) -> rule7) ((triple5) -> rule3)) -> rule9) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6)) -> rule2))]