Erin is big. Erin is furry. Erin is green. Erin is round. Erin is white. Harry is big. Harry is blue. Harry is not furry. Harry is green. Harry is white. If someone is red then they are big. All round people are big. If Erin is big then Erin is furry. Round people are red. If Harry is furry and Harry is not big then Harry is green. If someone is green and not red then they are furry.
Erin is blue.
@0: Erin is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple4) -> rule4)) -> rule1))] Erin is furry.[(triple2 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1)) -> rule3))] Erin is green.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple9)] Harry is not furry.[(triple8)] Harry is white.[(triple10)] @1: Erin is red.[(((triple4) -> rule4))]