Anne is kind. Bob is not green. Charlie is red. Fiona is green. If someone is white and red then they are not cold. All rough people are smart. If someone is red then they are rough. If someone is cold then they are rough. If someone is smart then they are white. All cold, rough people are white. If Bob is cold then Bob is not rough. If Charlie is red then Charlie is smart.
Charlie is rough.
@0: Anne is kind.[(triple1)] Bob is not green.[(triple2)] Charlie is red.[(triple3)] Fiona is green.[(triple4)] @1: Charlie is rough.[(((triple3) -> rule3))] Charlie is smart.[(((triple3) -> rule8) OR ((((triple3) -> rule3)) -> rule2))] @2: Charlie is white.[(((((triple3) -> rule8)) -> rule5) OR ((((((triple3) -> rule3)) -> rule2)) -> rule5))] @3: Charlie is not cold.[(((((((triple3) -> rule8)) -> rule5) triple3) -> rule1) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule5) triple3) -> rule1))]