Bob is furry. Bob is kind. Bob is white. Erin is kind. Erin is white. Gary is rough. Harry is not smart. If Bob is rough then Bob is furry. If someone is white then they are young. All big, furry people are not smart. If someone is smart and rough then they are big. If someone is young then they are big. If someone is rough then they are furry. All smart, young people are furry. If someone is furry and not rough then they are kind. If someone is rough and furry then they are white.
Gary is not big.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Erin is kind.[(triple4)] Erin is white.[(triple5)] Gary is rough.[(triple6)] Harry is not smart.[(triple7)] @1: Bob is young.[(((triple3) -> rule2))] Erin is young.[(((triple5) -> rule2))] Gary is furry.[(((triple6) -> rule6))] @2: Bob is big.[(((((triple3) -> rule2)) -> rule5))] Erin is big.[(((((triple5) -> rule2)) -> rule5))] Gary is white.[(((triple6 ((triple6) -> rule6)) -> rule9))] @3: Bob is not smart.[(((((((triple3) -> rule2)) -> rule5) triple1) -> rule3))] Gary is young.[(((((triple6 ((triple6) -> rule6)) -> rule9)) -> rule2))] @4: Gary is big.[(((((((triple6 ((triple6) -> rule6)) -> rule9)) -> rule2)) -> rule5))] @5: Gary is not smart.[(((((((((triple6 ((triple6) -> rule6)) -> rule9)) -> rule2)) -> rule5) ((triple6) -> rule6)) -> rule3))]