Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is smart. If someone is big and kind then they are quiet. If someone is quiet and smart then they are nice.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple6 triple7) -> rule2) OR ((((triple1 triple4) -> rule1) triple7) -> rule2))] Charlie is quiet.[(triple6 OR ((triple1 triple4) -> rule1))] Charlie is smart.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Harry is quiet.[(((triple8 triple11) -> rule1))] @2: Harry is nice.[(((((triple8 triple11) -> rule1) triple12) -> rule2))]