Anne is big. Anne is not furry. Anne is young. Bob is furry. Bob is not green. Erin is big. Erin is green. Erin is nice. Erin is red. Erin is not young. Green things are big. All white things are young. If something is nice then it is furry. If something is white then it is nice. If Bob is furry then Bob is white. If something is furry and not nice then it is red.
Bob is young.
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple4)] Bob is not green.[(triple5)] Erin is big.[(triple6 OR ((triple7) -> rule1))] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is not young.[(triple10)] Erin is red.[(triple9)] @1: Bob is white.[(((triple4) -> rule5))] Erin is furry.[(((triple8) -> rule3))] @2: Bob is nice.[(((((triple4) -> rule5)) -> rule4))] Bob is young.[(((((triple4) -> rule5)) -> rule2))]