Erin is white. Fiona is nice. Gary is red. Harry is smart. If someone is red and young then they are big. If someone is red then they are young. If someone is kind then they are young. If Erin is big and Erin is smart then Erin is not kind. If someone is white then they are kind. If someone is red then they are nice. All big, white people are not nice. If someone is smart and not big then they are nice.
Gary is big.
@0: Erin is white.[(triple1)] Fiona is nice.[(triple2)] Gary is red.[(triple3)] Harry is smart.[(triple4)] @1: Erin is kind.[(((triple1) -> rule5))] Gary is nice.[(((triple3) -> rule6))] Gary is young.[(((triple3) -> rule2))] @2: Erin is young.[(((((triple1) -> rule5)) -> rule3))] Gary is big.[(((triple3 ((triple3) -> rule2)) -> rule1))]