Anne is kind. Bob is big. Bob is green. Bob is red. Bob is rough. Fiona is not cold. Fiona is green. If Fiona is red and Fiona is not big then Fiona is white. If something is cold and kind then it is red. All kind things are cold. If something is red and not cold then it is rough. Rough, kind things are white. All rough, kind things are not white. All big, kind things are not white. If something is rough then it is white.
Anne is not rough.
@0: Anne is kind.[(triple1)] Bob is big.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Fiona is green.[(triple7)] Fiona is not cold.[(triple6)] @1: Anne is cold.[(((triple1) -> rule3))] Bob is white.[(((triple5) -> rule8))] @2: Anne is red.[(((((triple1) -> rule3) triple1) -> rule2))]