Anne is green. Anne is nice. Anne is round. Bob is big. Bob is blue. Bob is round. Erin is green. Gary is furry. Gary is nice. Gary is white. If someone is furry then they are nice. Round people are white. All nice people are blue. If Erin is round then Erin is nice. Green, big people are white. If someone is big then they are nice.
Erin is not blue.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5 OR ((((triple4) -> rule6)) -> rule3))] Bob is round.[(triple6)] Erin is green.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9 OR ((triple8) -> rule1))] Gary is white.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3))] Anne is white.[(((triple3) -> rule2))] Bob is nice.[(((triple4) -> rule6))] Bob is white.[(((triple6) -> rule2))] Gary is blue.[(((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3))]