Bob is furry. Bob is nice. Bob is rough. Erin is blue. Erin is smart. Erin is white. Gary is cold. If something is cold then it is rough. If Bob is not nice then Bob is cold. All blue things are white. If Gary is smart and Gary is not cold then Gary is furry. If something is furry and not cold then it is blue. All rough, furry things are blue. Blue, white things are smart. If Gary is smart then Gary is rough.
Gary is furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Erin is blue.[(triple4)] Erin is smart.[(triple5 OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple4) -> rule3)) -> rule7))] Erin is white.[(triple6 OR ((triple4) -> rule3))] Gary is cold.[(triple7)] @1: Bob is blue.[(((triple3 triple1) -> rule6))] Gary is rough.[(((triple7) -> rule1))] @2: Bob is white.[(((((triple3 triple1) -> rule6)) -> rule3))] @3: Bob is smart.[(((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6)) -> rule3)) -> rule7))]