Dave is not big. Dave is green. Dave is red. Dave is not smart. Dave is white. Dave is not young. Fiona is big. Fiona is not green. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is smart. Gary is white. Gary is young. If something is white and young then it is green. If Dave is big and Dave is not smart then Dave is red. Smart, big things are young.
Fiona is white.
@0: Dave is green.[(triple2)] Dave is not big.[(triple1)] Dave is not smart.[(triple4)] Dave is not young.[(triple6)] Dave is red.[(triple3)] Dave is white.[(triple5)] Fiona is big.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple11 triple7) -> rule3))] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Gary is green.[(((triple14 triple15) -> rule1))]