Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Dave is rough. Dave is round. Dave is white. Dave is young. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Rough, white things are young. White things are smart. All round things are young. If something is young then it is rough. All smart, round things are red. If Fiona is white and Fiona is round then Fiona is smart.
Dave is not red.
@0: Charlie is red.[(triple1 OR ((triple4 triple3) -> rule5) OR ((((triple5) -> rule2) triple3) -> rule5))] Charlie is rough.[(triple2 OR ((triple6) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Charlie is round.[(triple3)] Charlie is smart.[(triple4 OR ((triple5) -> rule2))] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple3) -> rule3) OR ((triple2 triple5) -> rule1))] Dave is rough.[(triple7 OR ((triple10) -> rule4) OR ((((triple8) -> rule3)) -> rule4))] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple8) -> rule3) OR ((triple7 triple9) -> rule1))] Fiona is green.[(triple11)] Fiona is red.[(triple12 OR ((((triple15) -> rule2) triple14) -> rule5) OR ((((triple15 triple14) -> rule6) triple14) -> rule5))] Fiona is rough.[(triple13 OR ((triple16) -> rule4) OR ((((triple14) -> rule3)) -> rule4))] Fiona is round.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16 OR ((triple14) -> rule3) OR ((triple13 triple15) -> rule1))] @1: Dave is smart.[(((triple9) -> rule2))] Fiona is smart.[(((triple15) -> rule2) OR ((triple15 triple14) -> rule6))] @2: Dave is red.[(((((triple9) -> rule2) triple8) -> rule5))]