Bob is smart. Charlie is smart. Gary is not young. Harry is blue. If something is smart and not nice then it is cold. Kind things are not cold. Green things are cold. Blue things are kind. If something is smart then it is blue. All green things are not blue.
Harry is not smart.
@0: Bob is smart.[(triple1)] Charlie is smart.[(triple2)] Gary is not young.[(triple3)] Harry is blue.[(triple4)] @1: Bob is blue.[(((triple1) -> rule5))] Charlie is blue.[(((triple2) -> rule5))] Harry is kind.[(((triple4) -> rule4))] @2: Bob is kind.[(((((triple1) -> rule5)) -> rule4))] Charlie is kind.[(((((triple2) -> rule5)) -> rule4))] Harry is not cold.[(((((triple4) -> rule4)) -> rule2))] @3: Bob is not cold.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))] Charlie is not cold.[(((((((triple2) -> rule5)) -> rule4)) -> rule2))]