Anne is cold. Bob is smart. Charlie is big. If Charlie is rough and Charlie is nice then Charlie is smart. If something is big then it is blue. If Anne is green and Anne is big then Anne is cold. If something is blue then it is big. If Bob is nice and Bob is smart then Bob is big. Big, rough things are nice.
Bob is not smart.
@0: Anne is cold.[(triple1)] Bob is smart.[(triple2)] Charlie is big.[(triple3)] @1: Charlie is blue.[(((triple3) -> rule2))]