Anne is big. Anne is green. Anne is rough. Bob is big. Bob is nice. Bob is red. Gary is green. Gary is quiet. Harry is nice. Harry is quiet. If something is nice and rough then it is quiet. If something is big and not green then it is quiet. All quiet, big things are not young. If something is rough then it is red. Young things are red. Rough things are nice. All big things are nice. If Gary is quiet and Gary is red then Gary is big.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is nice.[(triple5 OR ((triple4) -> rule7))] Bob is red.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is nice.[(((triple1) -> rule7) OR ((triple3) -> rule6))] Anne is red.[(((triple3) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule7) triple3) -> rule1) OR ((((triple3) -> rule6) triple3) -> rule1))] @3: Anne is not young.[(((((((triple1) -> rule7) triple3) -> rule1) triple1) -> rule3) OR ((((((triple3) -> rule6) triple3) -> rule1) triple1) -> rule3))]