Bob is green. Fiona is rough. Gary is rough. Harry is rough. If Gary is blue then Gary is cold. If Bob is furry and Bob is big then Bob is green. If someone is rough then they are big. If someone is big then they are rough. All green people are rough. If someone is blue and rough then they are big.
Gary is rough.
@0: Bob is green.[(triple1)] Fiona is rough.[(triple2)] Gary is rough.[(triple3)] Harry is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule5))] Fiona is big.[(((triple2) -> rule3))] Gary is big.[(((triple3) -> rule3))] Harry is big.[(((triple4) -> rule3))] @2: Bob is big.[(((((triple1) -> rule5)) -> rule3))]