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