Bob is cold. Bob is kind. Bob is not nice. Bob is quiet. Dave is round. Gary is cold. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Cold, round things are kind. All quiet things are kind. Quiet, nice things are kind. All smart things are kind. If something is green and not nice then it is quiet. All round things are quiet. If something is smart and not nice then it is round. If something is kind and not green then it is round.
Dave is quiet.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule2))] Bob is not nice.[(triple3)] Bob is quiet.[(triple4)] Dave is round.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7 OR ((triple10) -> rule4) OR ((triple8) -> rule2) OR ((triple6 triple9) -> rule1) OR ((((triple9) -> rule6)) -> rule2))] Gary is quiet.[(triple8 OR ((triple9) -> rule6))] Gary is round.[(triple9)] Gary is smart.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple14) -> rule2) OR ((triple14 triple13) -> rule3) OR ((((triple15) -> rule6)) -> rule2) OR ((((triple15) -> rule6) triple13) -> rule3))] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple15) -> rule6))] Harry is round.[(triple15)] @1: Dave is quiet.[(((triple5) -> rule6))] @2: Dave is kind.[(((((triple5) -> rule6)) -> rule2))]