Fiona is furry. Fiona is nice. Gary is nice. Furry, rough things are nice. All furry things are white. If something is cold and white then it is furry. White things are nice. Nice, rough things are white. If Gary is white then Gary is rough.
Fiona is young.
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple2 OR ((((triple1) -> rule2)) -> rule4))] Gary is nice.[(triple3)] @1: Fiona is white.[(((triple1) -> rule2))]