Erin is young. Fiona is rough. Harry is white. Big, round people are red. Red people are young. If someone is young and round then they are white. If someone is white then they are rough. Big, furry people are white. All round people are red. If someone is big then they are red. Young people are round.
Fiona is rough.
@0: Erin is young.[(triple1)] Fiona is rough.[(triple2)] Harry is white.[(triple3)] @1: Erin is round.[(((triple1) -> rule8))] Harry is rough.[(((triple3) -> rule4))] @2: Erin is red.[(((((triple1) -> rule8)) -> rule6))] Erin is white.[(((triple1 ((triple1) -> rule8)) -> rule3))] @3: Erin is rough.[(((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))]