Dave is quiet. Dave is rough. Dave is round. Erin is green. Erin is quiet. Fiona is nice. Fiona is round. If someone is round then they are rough. Big people are round. If Erin is big and Erin is round then Erin is green. If Fiona is round and Fiona is big then Fiona is green. All big people are rough. Big, rough people are nice. If Dave is green then Dave is quiet. All rough, green people are cold.
Dave is not round.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2 OR ((triple3) -> rule1))] Dave is round.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is rough.[(((triple7) -> rule1))]