Anne is round. Bob is not rough. Charlie is furry. Dave is red. All red people are green. If someone is nice then they are not furry. If someone is rough and furry then they are round. Round, red people are smart. All nice, furry people are not smart. All green people are red. All red people are rough. All green, red people are nice.
Bob is furry.
@0: Anne is round.[(triple1)] Bob is not rough.[(triple2)] Charlie is furry.[(triple3)] Dave is red.[(triple4)] @1: Dave is green.[(((triple4) -> rule1))] Dave is rough.[(((triple4) -> rule7))] @2: Dave is nice.[(((((triple4) -> rule1) triple4) -> rule8))] @3: Dave is not furry.[(((((((triple4) -> rule1) triple4) -> rule8)) -> rule2))]