Anne is rough. Anne is young. Bob is nice. Bob is not smart. Erin is not rough. Gary is quiet. Gary is smart. Red, young things are smart. If something is quiet then it is smart. If something is smart and not rough then it is red. Furry things are not red. Smart things are nice. Red things are not nice. All young things are quiet. All nice things are furry.
Bob is not red.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] Bob is not smart.[(triple4)] Erin is not rough.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7 OR ((triple6) -> rule2))] @1: Anne is quiet.[(((triple2) -> rule7))] Bob is furry.[(((triple3) -> rule8))] Gary is nice.[(((triple7) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] @2: Anne is smart.[(((((triple2) -> rule7)) -> rule2))] Bob is not red.[(((((triple3) -> rule8)) -> rule4))] Gary is furry.[(((((triple7) -> rule5)) -> rule8) OR ((((((triple6) -> rule2)) -> rule5)) -> rule8))] @3: Anne is nice.[(((((((triple2) -> rule7)) -> rule2)) -> rule5))] Gary is not red.[(((((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule2)) -> rule5)) -> rule8)) -> rule4))] @4: Anne is furry.[(((((((((triple2) -> rule7)) -> rule2)) -> rule5)) -> rule8))] @5: Anne is not red.[(((((((((((triple2) -> rule7)) -> rule2)) -> rule5)) -> rule8)) -> rule4))]