Bob is not young. Charlie is big. Gary is cold. Blue things are big. If something is round then it is big. If Bob is not cold then Bob is round. If Gary is big then Gary is nice. If Bob is blue and Bob is round then Bob is not nice. Cold things are blue.
Gary is not big.
@0: Bob is not young.[(triple1)] Charlie is big.[(triple2)] Gary is cold.[(triple3)] @1: Gary is blue.[(((triple3) -> rule6))] @2: Gary is big.[(((((triple3) -> rule6)) -> rule1))] @3: Gary is nice.[(((((((triple3) -> rule6)) -> rule1)) -> rule4))]