Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is white. Bob is big. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is white. Harry is big. Harry is nice. Harry is red. Harry is white. Quiet people are white.
Harry is round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule1))] Bob is big.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Bob is red.[(triple10)] Bob is round.[(triple11)] Bob is white.[(triple12 OR ((triple9) -> rule1))] Harry is big.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)]