Bob is kind. Erin is green. Erin is quiet. Gary is furry. Gary is kind. Harry is red. Harry is round. If Bob is furry then Bob is kind. Quiet, furry people are green. If Bob is furry then Bob is quiet. All furry, green people are red. If Gary is smart and Gary is quiet then Gary is round. If someone is kind then they are furry. All smart people are red. Green, quiet people are red.
Gary is smart.
@0: Bob is kind.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Gary is furry.[(triple4 OR ((triple5) -> rule6))] Gary is kind.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Bob is furry.[(((triple1) -> rule6))] Erin is red.[(((triple2 triple3) -> rule8))] @2: Bob is quiet.[(((((triple1) -> rule6)) -> rule3))] @3: Bob is green.[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule2))] @4: Bob is red.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6)) -> rule3)) -> rule8))]