Anne is smart. Bob is smart. Erin is not cold. Fiona is white. If someone is cold and rough then they are red. If someone is white then they are rough. If Erin is smart and Erin is white then Erin is rough. If Fiona is big then Fiona is cold. All smart people are not big. If someone is rough then they are smart.
Erin is not red.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Erin is not cold.[(triple3)] Fiona is white.[(triple4)] @1: Anne is not big.[(((triple1) -> rule5))] Bob is not big.[(((triple2) -> rule5))] Fiona is rough.[(((triple4) -> rule2))] @2: Fiona is smart.[(((((triple4) -> rule2)) -> rule6))] @3: Fiona is not big.[(((((((triple4) -> rule2)) -> rule6)) -> rule5))]