Dave is rough. Dave is not round. Dave is young. Erin is round. Fiona is not big. Fiona is green. Fiona is round. Harry is big. Harry is rough. Harry is young. Young things are not white. If something is white and not round then it is not big. If something is rough and not round then it is big. If Erin is big then Erin is rough. If something is round and not rough then it is not nice. If something is green and not rough then it is not nice.
Fiona is white.
@0: Dave is not round.[(triple2)] Dave is rough.[(triple1)] Dave is young.[(triple3)] Erin is round.[(triple4)] Fiona is green.[(triple6)] Fiona is not big.[(triple5)] Fiona is round.[(triple7)] Harry is big.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Dave is big.[(((triple1 triple2) -> rule3))] Dave is not white.[(((triple3) -> rule1))] Harry is not white.[(((triple10) -> rule1))]