Bob is young. Fiona is nice. Gary is furry. All nice, smart things are kind. If something is kind then it is nice. If Bob is young then Bob is kind. If something is quiet then it is smart. If something is young then it is furry. All kind, nice things are green. All smart, quiet things are nice. Nice, furry things are green.
Fiona is kind.
@0: Bob is young.[(triple1)] Fiona is nice.[(triple2)] Gary is furry.[(triple3)] @1: Bob is furry.[(((triple1) -> rule5))] Bob is kind.[(((triple1) -> rule3))] @2: Bob is nice.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is green.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule5)) -> rule8))]