Anne is blue. Anne is cold. Anne is quiet. Anne is rough. Anne is smart. Charlie is blue. Charlie is quiet. Dave is blue. Dave is cold. Harry is quiet. If something is blue then it is quiet. Big things are quiet. If something is rough and blue then it is big. If something is quiet and blue then it is big. Nice, big things are blue. All blue things are quiet. If something is cold then it is rough. Rough, big things are smart.
Dave is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule6) OR ((((triple4 triple1) -> rule3)) -> rule2) OR ((((((triple2) -> rule7) triple1) -> rule3)) -> rule2))] Anne is rough.[(triple4 OR ((triple2) -> rule7))] Anne is smart.[(triple5 OR ((triple4 ((triple3 triple1) -> rule4)) -> rule8) OR ((triple4 ((triple4 triple1) -> rule3)) -> rule8) OR ((((triple2) -> rule7) ((triple3 triple1) -> rule4)) -> rule8) OR ((((triple2) -> rule7) ((triple4 triple1) -> rule3)) -> rule8) OR ((triple4 ((((triple1) -> rule1) triple1) -> rule4)) -> rule8) OR ((triple4 ((((triple1) -> rule6) triple1) -> rule4)) -> rule8) OR ((triple4 ((((triple2) -> rule7) triple1) -> rule3)) -> rule8) OR ((((triple2) -> rule7) ((((triple1) -> rule1) triple1) -> rule4)) -> rule8) OR ((((triple2) -> rule7) ((((triple1) -> rule6) triple1) -> rule4)) -> rule8) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple1) -> rule3)) -> rule8))] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7 OR ((triple6) -> rule1) OR ((triple6) -> rule6))] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is big.[(((triple3 triple1) -> rule4) OR ((triple4 triple1) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule4) OR ((((triple2) -> rule7) triple1) -> rule3))] Charlie is big.[(((triple7 triple6) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4) OR ((((triple6) -> rule6) triple6) -> rule4))] Dave is quiet.[(((triple8) -> rule1) OR ((triple8) -> rule6) OR ((((((triple9) -> rule7) triple8) -> rule3)) -> rule2))] Dave is rough.[(((triple9) -> rule7))] @2: Dave is big.[(((((triple8) -> rule1) triple8) -> rule4) OR ((((triple8) -> rule6) triple8) -> rule4) OR ((((triple9) -> rule7) triple8) -> rule3))] @3: Dave is smart.[(((((triple9) -> rule7) ((((triple8) -> rule1) triple8) -> rule4)) -> rule8) OR ((((triple9) -> rule7) ((((triple8) -> rule6) triple8) -> rule4)) -> rule8) OR ((((triple9) -> rule7) ((((triple9) -> rule7) triple8) -> rule3)) -> rule8))]