Charlie is big. Fiona is nice. Gary is not furry. If something is red then it is nice. All young, rough things are nice. If Charlie is not quiet and Charlie is not young then Charlie is not rough. If Fiona is not young and Fiona is not furry then Fiona is not rough. Big, nice things are not rough. If something is big then it is red.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Fiona is nice.[(triple2)] Gary is not furry.[(triple3)] @1: Charlie is red.[(((triple1) -> rule6))] @2: Charlie is nice.[(((((triple1) -> rule6)) -> rule1))] @3: Charlie is not rough.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5))]