Bob is nice. Charlie is rough. Dave is white. Fiona is nice. All nice people are kind. Kind people are rough. If Dave is furry then Dave is not nice. Furry people are cold. All rough people are white. If someone is white and not nice then they are smart.
Fiona is white.
@0: Bob is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is white.[(triple3)] Fiona is nice.[(triple4)] @1: Bob is kind.[(((triple1) -> rule1))] Charlie is white.[(((triple2) -> rule5))] Fiona is kind.[(((triple4) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule2))] Fiona is rough.[(((((triple4) -> rule1)) -> rule2))] @3: Bob is white.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))] Fiona is white.[(((((((triple4) -> rule1)) -> rule2)) -> rule5))]