Anne is quiet. Bob is young. Fiona is quiet. All nice people are young. Nice people are furry. All young people are nice. All nice people are kind. If someone is nice then they are kind. If someone is young then they are quiet. Kind people are smart. If someone is blue and nice then they are young.
Bob is not nice.
@0: Anne is quiet.[(triple1)] Bob is young.[(triple2)] Fiona is quiet.[(triple3)] @1: Bob is nice.[(((triple2) -> rule3))] Bob is quiet.[(((triple2) -> rule6))] @2: Bob is furry.[(((((triple2) -> rule3)) -> rule2))] Bob is kind.[(((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule3)) -> rule5))] @3: Bob is smart.[(((((((triple2) -> rule3)) -> rule4)) -> rule7) OR ((((((triple2) -> rule3)) -> rule5)) -> rule7))]