Fiona is kind. Fiona is rough. Fiona is white. All white people are kind. If someone is white and young then they are kind. If someone is rough and not nice then they are not kind. If Fiona is young then Fiona is rough. Rough people are young. All rough, young people are white.
Fiona is not young.
@0: Fiona is kind.[(triple1 OR ((triple3) -> rule1) OR ((triple3 ((triple2) -> rule5)) -> rule2) OR ((((triple2 ((triple2) -> rule5)) -> rule6)) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule2))] Fiona is rough.[(triple2)] Fiona is white.[(triple3 OR ((triple2 ((triple2) -> rule5)) -> rule6))] @1: Fiona is young.[(((triple2) -> rule5))]