Fiona is green. If Fiona is kind then Fiona is young. All big people are not green. If someone is big and not red then they are green. All green people are rough. Rough people are kind. If someone is young then they are kind. Cold people are kind. If someone is red and young then they are not big.
Fiona is not rough.
@0: Fiona is green.[(triple1)] @1: Fiona is rough.[(((triple1) -> rule4))] @2: Fiona is kind.[(((((triple1) -> rule4)) -> rule5))] @3: Fiona is young.[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]