Anne is furry. Anne is white. Bob is red. Bob is smart. Erin is furry. Erin is red. Gary is furry. Gary is round. Gary is smart. Gary is white. If Gary is round then Gary is smart. If something is green and white then it is round. All green, round things are white. Furry things are round. If something is green and white then it is round. Red, white things are green. Red things are green. White things are furry.
Bob is blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule8))] Anne is white.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Erin is furry.[(triple5)] Erin is red.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule8))] Gary is round.[(triple8 OR ((triple7) -> rule4) OR ((((triple10) -> rule8)) -> rule4))] Gary is smart.[(triple9 OR ((triple8) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((((triple10) -> rule8)) -> rule4)) -> rule1))] Gary is white.[(triple10)] @1: Anne is round.[(((triple1) -> rule4) OR ((((triple2) -> rule8)) -> rule4))] Bob is green.[(((triple3) -> rule7))] Erin is green.[(((triple6) -> rule7))] Erin is round.[(((triple5) -> rule4))] @2: Erin is white.[(((((triple6) -> rule7) ((triple5) -> rule4)) -> rule3))]