Bob is blue. Dave is cold. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is not cold. Erin is not rough. Erin is smart. Erin is white. Fiona is blue. Fiona is not cold. Fiona is rough. Fiona is round. Fiona is white. If something is round then it is smart. If something is rough and smart then it is quiet. If Dave is cold then Dave is quiet.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3 OR ((triple2) -> rule3) OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple5) -> rule1)) -> rule2))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule1))] Dave is white.[(triple7)] Erin is not cold.[(triple8)] Erin is not rough.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Fiona is blue.[(triple12)] Fiona is not cold.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is smart.[(((triple15) -> rule1))] @2: Fiona is quiet.[(((triple14 ((triple15) -> rule1)) -> rule2))]