Bob is furry. Bob is green. Dave is green. Dave is rough. Erin is kind. Erin is nice. Gary is rough. All green, rough things are round. All green, furry things are nice. Rough, nice things are furry. If something is round and rough then it is kind. Nice things are rough. If something is round and nice then it is smart. Green things are kind. Smart things are furry.
Gary is green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Gary is rough.[(triple7)] @1: Bob is kind.[(((triple2) -> rule7) OR ((((triple2 ((((triple2 triple1) -> rule2)) -> rule5)) -> rule1) ((((triple2 triple1) -> rule2)) -> rule5)) -> rule4))] Bob is nice.[(((triple2 triple1) -> rule2))] Dave is kind.[(((triple3) -> rule7) OR ((((triple3 triple4) -> rule1) triple4) -> rule4))] Dave is round.[(((triple3 triple4) -> rule1))] Erin is rough.[(((triple6) -> rule5))] @2: Bob is rough.[(((((triple2 triple1) -> rule2)) -> rule5))] Erin is furry.[(((((triple6) -> rule5) triple6) -> rule3))] @3: Bob is round.[(((triple2 ((((triple2 triple1) -> rule2)) -> rule5)) -> rule1))] @4: Bob is smart.[(((((triple2 ((((triple2 triple1) -> rule2)) -> rule5)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6))]