Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is not white. Charlie is blue. Charlie is round. Charlie is white. Dave is nice. Dave is quiet. Dave is red. Dave is round. Gary is nice. Gary is quiet. Gary is red. If something is quiet then it is red. If Charlie is quiet then Charlie is red. If Charlie is big and Charlie is quiet then Charlie is round. If something is quiet and not red then it is blue. If something is round and red then it is nice. If something is red and not blue then it is nice. If something is nice then it is not white. If something is round and not red then it is white.
Gary is big.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple3) -> rule1)) -> rule5))] Anne is not white.[(triple6 OR ((triple2) -> rule7) OR ((((triple5 triple4) -> rule5)) -> rule7) OR ((((triple5 ((triple3) -> rule1)) -> rule5)) -> rule7))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple3) -> rule1))] Anne is round.[(triple5)] Charlie is blue.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Dave is nice.[(triple10 OR ((triple13 triple12) -> rule5) OR ((triple13 ((triple11) -> rule1)) -> rule5))] Dave is quiet.[(triple11)] Dave is red.[(triple12 OR ((triple11) -> rule1))] Dave is round.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is red.[(triple16 OR ((triple15) -> rule1))] @1: Dave is not white.[(((triple10) -> rule7) OR ((((triple13 triple12) -> rule5)) -> rule7) OR ((((triple13 ((triple11) -> rule1)) -> rule5)) -> rule7))] Gary is not white.[(((triple14) -> rule7))]