Bob is kind. Erin is not nice. Fiona is round. Gary is green. If something is quiet and not nice then it is white. If something is quiet and not big then it is white. If something is quiet and green then it is kind. All big, nice things are not kind. If something is white and round then it is not kind. Green things are round. If something is round and not green then it is not quiet. If Bob is nice and Bob is round then Bob is kind.
Fiona is round.
@0: Bob is kind.[(triple1)] Erin is not nice.[(triple2)] Fiona is round.[(triple3)] Gary is green.[(triple4)] @1: Gary is round.[(((triple4) -> rule6))]