Fiona is big. Fiona is not nice. Fiona is white. Gary is furry. Gary is green. Gary is nice. Gary is red. If Fiona is quiet and Fiona is nice then Fiona is white. If something is white and red then it is nice. If something is green and red then it is nice. If something is white and not quiet then it is nice. If something is white then it is not nice. If Gary is red then Gary is not big. If Gary is quiet and Gary is nice then Gary is furry. If something is furry and not quiet then it is green.
Gary is not furry.
@0: Fiona is big.[(triple1)] Fiona is not nice.[(triple2 OR ((triple3) -> rule5))] Fiona is white.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6 OR ((triple5 triple7) -> rule3))] Gary is red.[(triple7)] @1: Gary is not big.[(((triple7) -> rule6))]