Anne is kind. Anne is nice. Anne is red. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Harry is big. Harry is nice. Harry is round. All kind, rough things are red. All big things are round.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5 OR ((triple4 triple6) -> rule1))] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule2))]