Fiona is furry. Fiona is kind. Harry is rough. All young things are kind. If something is furry then it is young. If Fiona is young then Fiona is green. If something is furry and nice then it is rough. Rough, green things are big. If something is green and young then it is big.
Fiona is not big.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2 OR ((((triple1) -> rule2)) -> rule1))] Harry is rough.[(triple3)] @1: Fiona is young.[(((triple1) -> rule2))] @2: Fiona is green.[(((((triple1) -> rule2)) -> rule3))] @3: Fiona is big.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6))]