Charlie is blue. Charlie is rough. Charlie is white. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. All round things are quiet. If Charlie is round then Charlie is cold. If something is cold and round then it is white. All rough, white things are nice. All nice things are rough. If Harry is round and Harry is cold then Harry is white. All quiet, rough things are round. All nice things are blue.
Charlie is not white.
@0: Charlie is blue.[(triple1 OR ((((triple2 triple3) -> rule4)) -> rule8))] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Harry is blue.[(triple4 OR ((triple6) -> rule8) OR ((((triple8 triple10) -> rule4)) -> rule8) OR ((((triple8 ((triple5 triple9) -> rule3)) -> rule4)) -> rule8) OR ((((triple8 ((triple9 triple5) -> rule6)) -> rule4)) -> rule8) OR ((((triple8 ((triple5 ((triple7 triple8) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((triple8 ((((triple7 triple8) -> rule7) triple5) -> rule6)) -> rule4)) -> rule8))] Harry is cold.[(triple5)] Harry is nice.[(triple6 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple5 triple9) -> rule3)) -> rule4) OR ((triple8 ((triple9 triple5) -> rule6)) -> rule4) OR ((triple8 ((triple5 ((triple7 triple8) -> rule7)) -> rule3)) -> rule4) OR ((triple8 ((((triple7 triple8) -> rule7) triple5) -> rule6)) -> rule4))] Harry is quiet.[(triple7 OR ((triple9) -> rule1))] Harry is rough.[(triple8 OR ((triple6) -> rule5))] Harry is round.[(triple9 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple6) -> rule5)) -> rule7))] Harry is white.[(triple10 OR ((triple5 triple9) -> rule3) OR ((triple9 triple5) -> rule6) OR ((triple5 ((triple7 triple8) -> rule7)) -> rule3) OR ((((triple7 triple8) -> rule7) triple5) -> rule6) OR ((triple5 ((triple7 ((triple6) -> rule5)) -> rule7)) -> rule3) OR ((((triple7 ((triple6) -> rule5)) -> rule7) triple5) -> rule6))] @1: Charlie is nice.[(((triple2 triple3) -> rule4))]