Charlie is white. Fiona is white. Gary is cold. All rough, young people are nice. If someone is round and young then they are rough. If Fiona is cold then Fiona is quiet. Quiet, cold people are rough. If someone is white then they are young. If someone is cold then they are nice. If someone is nice then they are white. If someone is cold and young then they are quiet.
Fiona is not rough.
@0: Charlie is white.[(triple1)] Fiona is white.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is young.[(((triple1) -> rule5))] Fiona is young.[(((triple2) -> rule5))] Gary is nice.[(((triple3) -> rule6))] @2: Gary is white.[(((((triple3) -> rule6)) -> rule7))] @3: Gary is young.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))] @4: Gary is quiet.[(((triple3 ((((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule8))] @5: Gary is rough.[(((((triple3 ((((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule8) triple3) -> rule4))]