Anne is big. Anne is kind. Anne is red. Gary is big. Gary is red. Gary is rough. Harry is red. All quiet things are kind. All big, furry things are red. If something is big then it is rough. If something is rough then it is red. If something is rough then it is furry. If something is quiet then it is kind. If something is kind and furry then it is quiet. If something is furry then it is red.
Harry is not red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((((triple1) -> rule3)) -> rule4) OR ((((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule2))] Gary is big.[(triple4)] Gary is red.[(triple5 OR ((triple6) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6) -> rule5)) -> rule8) OR ((triple4 ((triple6) -> rule5)) -> rule2) OR ((((((triple4) -> rule3)) -> rule5)) -> rule8) OR ((triple4 ((((triple4) -> rule3)) -> rule5)) -> rule2))] Gary is rough.[(triple6 OR ((triple4) -> rule3))] Harry is red.[(triple7)] @1: Anne is rough.[(((triple1) -> rule3))] Gary is furry.[(((triple6) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is quiet.[(((triple2 ((((triple1) -> rule3)) -> rule5)) -> rule7))]