Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. Erin is smart. Erin is white. Fiona is cold. Harry is smart. Harry is white. All white things are not rough. If something is smart and kind then it is white. If Harry is kind and Harry is not white then Harry is not round.
Fiona is not nice.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Fiona is cold.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Bob is white.[(((triple5 triple2) -> rule2))] Erin is not rough.[(((triple7) -> rule1))] Harry is not rough.[(((triple10) -> rule1))] @2: Bob is not rough.[(((((triple5 triple2) -> rule2)) -> rule1))]