Erin is big. Erin is kind. Erin is young. Fiona is not nice. Gary is nice. Gary is red. Harry is kind. Harry is nice. Harry is round. Harry is not white. All big people are not white. White people are not nice. If Gary is not big then Gary is young. If someone is young and not white then they are red. All white people are red. White people are not red.
Harry is not round.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is young.[(triple3)] Fiona is not nice.[(triple4)] Gary is nice.[(triple5)] Gary is red.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is not white.[(triple10)] Harry is round.[(triple9)] @1: Erin is not white.[(((triple1) -> rule1))] @2: Erin is red.[(((triple3 ((triple1) -> rule1)) -> rule4))]