Dave is green. Dave is nice. Dave is quiet. Dave is rough. Erin is quiet. Harry is big. Harry is not cold. Harry is not green. Harry is nice. Harry is round. If someone is round and green then they are big. All nice people are not cold. Quiet people are rough.
Harry is round.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple3) -> rule3))] Erin is quiet.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple9)] Harry is not cold.[(triple7 OR ((triple9) -> rule2))] Harry is not green.[(triple8)] Harry is round.[(triple10)] @1: Dave is not cold.[(((triple2) -> rule2))] Erin is rough.[(((triple5) -> rule3))]