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