Anne is big. Anne is blue. Anne is rough. Anne is smart. Charlie is big. Charlie is not blue. Charlie is cold. Charlie is quiet. Charlie is smart. Erin is kind. Erin is smart. Harry is big. Harry is cold. Harry is not rough. Harry is smart. If Harry is not kind then Harry is not blue. If Anne is blue then Anne is kind. If someone is kind and not smart then they are blue. All smart people are quiet. If Charlie is smart and Charlie is not cold then Charlie is kind. If someone is cold and not blue then they are big. If someone is quiet then they are big. If Harry is kind and Harry is not blue then Harry is cold.
Charlie is not rough.
@0: Anne is big.[(triple1 OR ((((triple4) -> rule4)) -> rule7))] Anne is blue.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is big.[(triple5 OR ((triple8) -> rule7) OR ((triple7 triple6) -> rule6) OR ((((triple9) -> rule4)) -> rule7))] Charlie is cold.[(triple7)] Charlie is not blue.[(triple6)] Charlie is quiet.[(triple8 OR ((triple9) -> rule4))] Charlie is smart.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Harry is big.[(triple12 OR ((((triple15) -> rule4)) -> rule7))] Harry is cold.[(triple13)] Harry is not rough.[(triple14)] Harry is smart.[(triple15)] @1: Anne is kind.[(((triple2) -> rule2))] Anne is quiet.[(((triple4) -> rule4))] Erin is quiet.[(((triple11) -> rule4))] Harry is quiet.[(((triple15) -> rule4))] @2: Erin is big.[(((((triple11) -> rule4)) -> rule7))]