Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Harry is cold. Harry is green. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. Cold, young things are round. Smart, young things are round. All young, white things are round. All young things are quiet. If Harry is green and Harry is young then Harry is white. If Harry is not young then Harry is round. Young things are smart. All young things are white.
Harry is not white.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple7) -> rule4))] Charlie is round.[(triple4 OR ((triple1 triple7) -> rule1) OR ((triple5 triple7) -> rule2) OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule7) triple7) -> rule2))] Charlie is smart.[(triple5 OR ((triple7) -> rule7))] Charlie is white.[(triple6 OR ((triple7) -> rule8))] Charlie is young.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple14) -> rule4))] Harry is round.[(triple11 OR ((triple12 triple14) -> rule2) OR ((triple14 triple13) -> rule3) OR ((triple8 triple14) -> rule1) OR ((triple14 ((triple14) -> rule8)) -> rule3) OR ((triple14 ((triple9 triple14) -> rule5)) -> rule3) OR ((((triple14) -> rule7) triple14) -> rule2))] Harry is smart.[(triple12 OR ((triple14) -> rule7))] Harry is white.[(triple13 OR ((triple14) -> rule8) OR ((triple9 triple14) -> rule5))] Harry is young.[(triple14)]