Charlie is rough. Dave is green. Fiona is quiet. Harry is rough. If someone is green then they are rough. All rough people are quiet. If someone is round then they are quiet. If Fiona is green and Fiona is nice then Fiona is quiet. Green, red people are kind. Round, green people are red.
Charlie is nice.
@0: Charlie is rough.[(triple1)] Dave is green.[(triple2)] Fiona is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is quiet.[(((triple1) -> rule2))] Dave is rough.[(((triple2) -> rule1))] Harry is quiet.[(((triple4) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule1)) -> rule2))]