Bob is not cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Dave is not cold. Dave is not furry. Dave is kind. Dave is round. Gary is cold. Gary is furry. Gary is quiet. If Charlie is cold then Charlie is blue. If Charlie is quiet then Charlie is round. All blue things are round.
Dave is big.
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not cold.[(triple1)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7 OR ((triple8) -> rule1))] Charlie is cold.[(triple8)] Dave is kind.[(triple11)] Dave is not cold.[(triple9)] Dave is not furry.[(triple10)] Dave is round.[(triple12)] Gary is cold.[(triple13)] Gary is furry.[(triple14)] Gary is quiet.[(triple15)] @1: Charlie is round.[(((triple7) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]