Bob is big. Fiona is cold. Gary is not round. If something is cold and not green then it is round. Smart things are nice. If something is cold then it is smart. If Fiona is big then Fiona is smart. If something is nice then it is not young. If something is cold and not nice then it is not young.
Bob is not big.
@0: Bob is big.[(triple1)] Fiona is cold.[(triple2)] Gary is not round.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule3))] @2: Fiona is nice.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is not young.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))]