Bob is nice. Dave is green. Fiona is not young. Harry is kind. If someone is nice and quiet then they are not rough. If someone is kind and smart then they are quiet. Smart, nice people are quiet. Smart people are quiet. Nice people are smart. If someone is smart then they are nice. If someone is rough and not nice then they are young. If Bob is nice and Bob is young then Bob is rough.
Bob is not smart.
@0: Bob is nice.[(triple1)] Dave is green.[(triple2)] Fiona is not young.[(triple3)] Harry is kind.[(triple4)] @1: Bob is smart.[(((triple1) -> rule5))] @2: Bob is quiet.[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule3))] @3: Bob is not rough.[(((triple1 ((((triple1) -> rule5)) -> rule4)) -> rule1) OR ((triple1 ((((triple1) -> rule5) triple1) -> rule3)) -> rule1))]