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