Charlie is blue. Charlie is red. Charlie is white. Charlie is young. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is white. Dave is young. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. Red, blue things are young. Smart, blue things are red.
Dave is not blue.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple2 triple1) -> rule1))] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13 OR ((triple14 triple11) -> rule2))] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16 OR ((triple13 triple11) -> rule1) OR ((((triple14 triple11) -> rule2) triple11) -> rule1))]