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