Dave is blue. Dave is nice. Dave is smart. Dave is young. Erin is nice. Erin is red. Erin is young. Fiona is blue. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. Harry is big. Harry is smart. Harry is white. All young things are white. All red, white things are young.
Harry is smart.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple12) -> rule1))] Fiona is young.[(triple12)] Harry is big.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is white.[(((triple4) -> rule1))] Erin is white.[(((triple7) -> rule1))]