Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is white. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is white. Smart people are big. All red people are white.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule2))] Harry is big.[(triple6 OR ((triple11) -> rule1))] Harry is cold.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule2))]