Gary is big. Gary is blue. Gary is quiet. Gary is red. Gary is round. Gary is young. Harry is big. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. If someone is quiet and white then they are blue.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is blue.[(((triple8 triple11) -> rule1))]