Anne is nice. Dave is nice. Dave is quiet. Gary is big. Gary is nice. Gary is quiet. Gary is smart. Harry is green. Harry is smart. Harry is white. Quiet, smart things are round. If something is big then it is green. All smart things are quiet. All white things are smart. Big things are white. If something is green then it is big.
Harry is quiet.
@0: Anne is nice.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Gary is big.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple7) -> rule3) OR ((((((triple4) -> rule5)) -> rule4)) -> rule3))] Gary is smart.[(triple7 OR ((((triple4) -> rule5)) -> rule4))] Harry is green.[(triple8)] Harry is smart.[(triple9 OR ((triple10) -> rule4) OR ((((((triple8) -> rule6)) -> rule5)) -> rule4))] Harry is white.[(triple10 OR ((((triple8) -> rule6)) -> rule5))] @1: Gary is green.[(((triple4) -> rule2))] Gary is round.[(((triple6 triple7) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1) OR ((triple6 ((((triple4) -> rule5)) -> rule4)) -> rule1) OR ((((triple7) -> rule3) ((((triple4) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule5)) -> rule4)) -> rule3) triple7) -> rule1) OR ((((((((triple4) -> rule5)) -> rule4)) -> rule3) ((((triple4) -> rule5)) -> rule4)) -> rule1))] Gary is white.[(((triple4) -> rule5))] Harry is big.[(((triple8) -> rule6))] Harry is quiet.[(((triple9) -> rule3) OR ((((triple10) -> rule4)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3))] @2: Harry is round.[(((((triple9) -> rule3) triple9) -> rule1) OR ((((triple9) -> rule3) ((triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) triple9) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule3) ((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3) ((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3) triple9) -> rule1) OR ((((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule1) OR ((((((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule3) ((((((triple8) -> rule6)) -> rule5)) -> rule4)) -> rule1))]