Bob is young. Fiona is kind. Gary is big. If Gary is big then Gary is white. Big people are smart. If someone is nice and young then they are not white. If Fiona is smart and Fiona is young then Fiona is nice. If someone is big and not smart then they are not young. If someone is nice and not big then they are kind.
Bob is round.
@0: Bob is young.[(triple1)] Fiona is kind.[(triple2)] Gary is big.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))] Gary is white.[(((triple3) -> rule1))]