Bob is round. Dave is nice. Fiona is furry. Gary is round. If something is young and round then it is kind. Nice things are furry. If something is furry then it is kind. If Bob is smart and Bob is red then Bob is nice. If Gary is smart then Gary is furry. All kind, furry things are red.
Bob is not kind.
@0: Bob is round.[(triple1)] Dave is nice.[(triple2)] Fiona is furry.[(triple3)] Gary is round.[(triple4)] @1: Dave is furry.[(((triple2) -> rule2))] Fiona is kind.[(((triple3) -> rule3))] @2: Dave is kind.[(((((triple2) -> rule2)) -> rule3))] Fiona is red.[(((((triple3) -> rule3) triple3) -> rule6))] @3: Dave is red.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule6))]