Charlie is furry. Charlie is kind. Charlie is rough. Charlie is smart. Dave is quiet. Dave is rough. Dave is round. Harry is cold. Harry is kind. Harry is round. If Harry is rough then Harry is smart. If Dave is quiet and Dave is not kind then Dave is smart. If something is furry then it is round. If something is furry and cold then it is round. All round things are furry. All smart things are furry. If Charlie is quiet then Charlie is not cold. Cold things are not quiet.
Charlie is quiet.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule6))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] @1: Charlie is round.[(((triple1) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Dave is furry.[(((triple7) -> rule5))] Harry is furry.[(((triple10) -> rule5))] Harry is not quiet.[(((triple8) -> rule8))]