Charlie is blue. Charlie is red. Fiona is blue. Fiona is nice. Fiona is red. Gary is blue. Harry is kind. If someone is red then they are blue. If someone is quiet then they are not round.
Harry is quiet.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is red.[(triple2)] Fiona is blue.[(triple3 OR ((triple5) -> rule1))] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Gary is blue.[(triple6)] Harry is kind.[(triple7)]