Bob is smart. Charlie is smart. Erin is cold. Gary is kind. If Bob is white and Bob is kind then Bob is not smart. Smart people are cold. All big people are blue. If someone is smart then they are blue. Kind people are big. If someone is smart and not cold then they are big. If Erin is blue then Erin is not white. If Erin is not cold and Erin is not smart then Erin is white.
Charlie is kind.
@0: Bob is smart.[(triple1)] Charlie is smart.[(triple2)] Erin is cold.[(triple3)] Gary is kind.[(triple4)] @1: Bob is blue.[(((triple1) -> rule4))] Bob is cold.[(((triple1) -> rule2))] Charlie is blue.[(((triple2) -> rule4))] Charlie is cold.[(((triple2) -> rule2))] Gary is big.[(((triple4) -> rule5))] @2: Gary is blue.[(((((triple4) -> rule5)) -> rule3))]