Gary is big. Gary is blue. Gary is young. If something is furry then it is round. All round things are red. If something is big then it is round. If something is furry then it is kind. If something is red and big then it is young. If Gary is round then Gary is big.
Gary is not blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is young.[(triple3 OR ((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))] @1: Gary is round.[(((triple1) -> rule3))] @2: Gary is red.[(((((triple1) -> rule3)) -> rule2))]