Bob is quiet. Bob is rough. Gary is furry. If someone is rough then they are furry. If someone is nice and furry then they are kind. All rough, green people are nice. If someone is rough then they are green. If Bob is kind and Bob is rough then Bob is white. If someone is nice then they are quiet. If Gary is green then Gary is furry. All nice, furry people are white.
Bob is not green.
@0: Bob is quiet.[(triple1 OR ((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule6))] Bob is rough.[(triple2)] Gary is furry.[(triple3)] @1: Bob is furry.[(((triple2) -> rule1))] Bob is green.[(((triple2) -> rule4))] @2: Bob is nice.[(((triple2 ((triple2) -> rule4)) -> rule3))] @3: Bob is kind.[(((((triple2 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule1)) -> rule2))] Bob is white.[(((((triple2 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule1)) -> rule8) OR ((((((triple2 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule1)) -> rule2) triple2) -> rule5))]