Anne is furry. Anne is red. Anne is smart. Bob is big. Bob is furry. Bob is smart. Bob is young. Erin is furry. Erin is red. Erin is smart. Erin is not young. Gary is big. Gary is not furry. Gary is quiet. Gary is white. Gary is young. If Anne is white then Anne is quiet. All furry things are white. All furry, young things are smart. If Anne is quiet then Anne is big. If Gary is young then Gary is big. Quiet, smart things are furry. All smart things are furry. If Anne is not furry then Anne is red.
Erin is big.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule7))] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is furry.[(triple5 OR ((triple6) -> rule7))] Bob is smart.[(triple6 OR ((triple5 triple7) -> rule3))] Bob is young.[(triple7)] Erin is furry.[(triple8 OR ((triple10) -> rule7))] Erin is not young.[(triple11)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Gary is big.[(triple12 OR ((triple16) -> rule5))] Gary is not furry.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is white.[(((triple1) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] Bob is white.[(((triple5) -> rule2) OR ((((triple6) -> rule7)) -> rule2))] Erin is white.[(((triple8) -> rule2) OR ((((triple10) -> rule7)) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule1) OR ((((((triple3) -> rule7)) -> rule2)) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule1)) -> rule4))]