Bob is furry. Bob is green. Bob is rough. Bob is young. Gary is blue. Gary is furry. Gary is quiet. Green people are rough. All young, rough people are green. All green, big people are young. All quiet, furry people are blue. Blue people are big. If someone is rough and young then they are blue.
Bob is not blue.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple4 triple3) -> rule2))] Bob is rough.[(triple3 OR ((triple2) -> rule1))] Bob is young.[(triple4)] Gary is blue.[(triple5 OR ((triple7 triple6) -> rule4))] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is blue.[(((triple3 triple4) -> rule6) OR ((((triple2) -> rule1) triple4) -> rule6))] Gary is big.[(((triple5) -> rule5) OR ((((triple7 triple6) -> rule4)) -> rule5))] @2: Bob is big.[(((((triple3 triple4) -> rule6)) -> rule5) OR ((((((triple2) -> rule1) triple4) -> rule6)) -> rule5))]