Anne is kind. Anne is round. Bob is big. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is white. Erin is rough. Erin is white. If Erin is kind then Erin is round. If something is white then it is kind.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Bob is big.[(triple3)] Bob is kind.[(triple4 OR ((triple8) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] @1: Erin is kind.[(((triple10) -> rule2))] @2: Erin is round.[(((((triple10) -> rule2)) -> rule1))]