Charlie is kind. Erin is quiet. Fiona is green. Harry is red. If Fiona is smart and Fiona is big then Fiona is green. If someone is rough then they are kind. All red, green people are quiet. All rough people are big. If someone is green then they are red. All smart people are red.
Erin is not green.
@0: Charlie is kind.[(triple1)] Erin is quiet.[(triple2)] Fiona is green.[(triple3)] Harry is red.[(triple4)] @1: Fiona is red.[(((triple3) -> rule5))] @2: Fiona is quiet.[(((((triple3) -> rule5) triple3) -> rule3))]