Bob is young. Fiona is not young. If Fiona is round and Fiona is not young then Fiona is green. All rough people are round. If someone is rough and green then they are blue. All young people are rough. If Bob is round and Bob is not rough then Bob is blue. If Fiona is nice and Fiona is not green then Fiona is blue. Young, round people are kind. If someone is green and not round then they are not kind.
Bob is green.
@0: Bob is young.[(triple1)] Fiona is not young.[(triple2)] @1: Bob is rough.[(((triple1) -> rule4))] @2: Bob is round.[(((((triple1) -> rule4)) -> rule2))] @3: Bob is kind.[(((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule7))]