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