Bob is round. Erin is big. Erin is blue. Erin is furry. Erin is round. Erin is smart. Erin is white. Gary is white. Harry is smart. Harry is white. If someone is smart then they are furry. Furry people are round.
Harry is not round.
@0: Bob is round.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4 OR ((triple6) -> rule1))] Erin is round.[(triple5 OR ((triple4) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is white.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is furry.[(((triple9) -> rule1))] @2: Harry is round.[(((((triple9) -> rule1)) -> rule2))]