Anne is cold. Anne is quiet. Anne is red. Anne is smart. Anne is white. Harry is big. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. If someone is cold and big then they are smart. All cold, big people are quiet.
Harry is rough.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8 OR ((triple7 triple6) -> rule2))] Harry is red.[(triple9)] Harry is rough.[(triple10)] Harry is smart.[(triple11 OR ((triple7 triple6) -> rule1))] Harry is white.[(triple12)]