Bob is big. Bob is cold. Bob is kind. Charlie is cold. Charlie is kind. Charlie is red. Charlie is white. Erin is white. Gary is red. Gary is smart. If Erin is cold and Erin is white then Erin is kind. Blue, red things are big. If something is smart then it is white. White things are smart. All red, big things are white. Smart, cold things are red. White, big things are smart. All smart, kind things are blue.
Charlie is not blue.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6 OR ((((triple7) -> rule4) triple4) -> rule6))] Charlie is white.[(triple7)] Erin is white.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Charlie is smart.[(((triple7) -> rule4))] Erin is smart.[(((triple8) -> rule4))] Gary is white.[(((triple10) -> rule3))] @2: Charlie is blue.[(((((triple7) -> rule4) triple5) -> rule8))] @3: Charlie is big.[(((((((triple7) -> rule4) triple5) -> rule8) triple6) -> rule2) OR ((((((triple7) -> rule4) triple5) -> rule8) ((((triple7) -> rule4) triple4) -> rule6)) -> rule2))]