Bob is quiet. Bob is round. Bob is smart. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is young. Dave is cold. Dave is quiet. Dave is young. Harry is cold. Harry is furry. Harry is round. Harry is smart. Harry is young. If Dave is rough and Dave is round then Dave is young. All young, rough things are quiet. Young things are rough. All quiet things are furry. All quiet things are rough. If something is rough and round then it is quiet.
Dave is quiet.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule4) OR ((((triple8 ((triple8) -> rule3)) -> rule2)) -> rule4) OR ((((((triple8) -> rule3) triple7) -> rule6)) -> rule4))] Charlie is quiet.[(triple6 OR ((triple8 ((triple8) -> rule3)) -> rule2) OR ((((triple8) -> rule3) triple7) -> rule6))] Charlie is round.[(triple7)] Charlie is young.[(triple8)] Dave is cold.[(triple9)] Dave is quiet.[(triple10 OR ((triple11 ((triple11) -> rule3)) -> rule2))] Dave is young.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((((triple16 ((triple16) -> rule3)) -> rule2)) -> rule4) OR ((((((triple16) -> rule3) triple14) -> rule6)) -> rule4))] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Bob is furry.[(((triple1) -> rule4))] Bob is rough.[(((triple1) -> rule5))] Charlie is rough.[(((triple6) -> rule5) OR ((triple8) -> rule3))] Dave is furry.[(((triple10) -> rule4) OR ((((triple11 ((triple11) -> rule3)) -> rule2)) -> rule4))] Dave is rough.[(((triple10) -> rule5) OR ((triple11) -> rule3))] Harry is rough.[(((triple16) -> rule3))] @2: Harry is quiet.[(((triple16 ((triple16) -> rule3)) -> rule2) OR ((((triple16) -> rule3) triple14) -> rule6))]