Bob is not rough. Fiona is white. Harry is kind. Nice, white people are young. All green people are not nice. If someone is green then they are kind. If someone is green then they are kind. If someone is kind then they are not rough. If someone is white then they are green.
Fiona is kind.
@0: Bob is not rough.[(triple1)] Fiona is white.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is green.[(((triple2) -> rule6))] Harry is not rough.[(((triple3) -> rule5))] @2: Fiona is kind.[(((((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6)) -> rule4))] Fiona is not nice.[(((((triple2) -> rule6)) -> rule2))] @3: Fiona is not rough.[(((((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule4)) -> rule5))]