Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is young. Gary is big. Gary is kind. Gary is round. Harry is round. If someone is young then they are big.
Gary is not big.
@0: Anne is big.[(triple1 OR ((triple6) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Gary is big.[(triple7)] Gary is kind.[(triple8)] Gary is round.[(triple9)] Harry is round.[(triple10)]