Charlie is green. Charlie is red. Dave is nice. Dave is round. Erin is red. Fiona is big. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. All rough, nice people are green. If someone is round and nice then they are rough.
Dave is rough.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Dave is nice.[(triple3)] Dave is round.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7 OR ((triple10 triple8) -> rule1) OR ((((triple11 triple8) -> rule2) triple8) -> rule1))] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple11 triple8) -> rule2))] Fiona is round.[(triple11)] Fiona is white.[(triple12)] @1: Dave is rough.[(((triple4 triple3) -> rule2))] @2: Dave is green.[(((((triple4 triple3) -> rule2) triple3) -> rule1))]