Charlie is big. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is not nice. Fiona is not smart. Gary is not big. Gary is red. Gary is not round. Gary is not smart. Gary is white. All blue things are not round. If something is smart and not blue then it is big.
Fiona is not red.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is not nice.[(triple6)] Fiona is not smart.[(triple7)] Gary is not big.[(triple8)] Gary is not round.[(triple10)] Gary is not smart.[(triple11)] Gary is red.[(triple9)] Gary is white.[(triple12)] @1: Dave is not round.[(((triple5) -> rule1))]