Bob is big. Erin is young. Fiona is big. Gary is cold. If something is cold then it is furry. All round, rough things are young. If something is furry then it is blue.
Bob is not rough.
@0: Bob is big.[(triple1)] Erin is young.[(triple2)] Fiona is big.[(triple3)] Gary is cold.[(triple4)] @1: Gary is furry.[(((triple4) -> rule1))] @2: Gary is blue.[(((((triple4) -> rule1)) -> rule3))]