Charlie is green. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Fiona is cold. Fiona is green. Fiona is rough. Fiona is white. Harry is cold. Harry is green. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. If something is young and smart then it is rough. Cold things are white. If Harry is rough and Harry is cold then Harry is smart. If something is young and cold then it is rough. If something is white and smart then it is rough. All white, young things are rough. Red things are white. If Charlie is rough and Charlie is white then Charlie is cold.
Harry is young.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule7))] Charlie is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9 OR ((triple6) -> rule2))] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple15 triple14) -> rule5) OR ((triple15 triple16) -> rule6) OR ((triple16 triple10) -> rule4) OR ((triple16 triple14) -> rule1) OR ((((triple10) -> rule2) triple14) -> rule5) OR ((((triple10) -> rule2) triple16) -> rule6) OR ((((triple12) -> rule7) triple14) -> rule5) OR ((((triple12) -> rule7) triple16) -> rule6))] Harry is smart.[(triple14 OR ((triple13 triple10) -> rule3) OR ((((triple15 triple16) -> rule6) triple10) -> rule3) OR ((((triple16 triple10) -> rule4) triple10) -> rule3) OR ((((((triple10) -> rule2) triple16) -> rule6) triple10) -> rule3) OR ((((((triple12) -> rule7) triple16) -> rule6) triple10) -> rule3))] Harry is white.[(triple15 OR ((triple10) -> rule2) OR ((triple12) -> rule7))] Harry is young.[(triple16)] @1: Charlie is rough.[(((triple4 triple3) -> rule5) OR ((triple4 triple5) -> rule6) OR ((triple5 triple3) -> rule1) OR ((((triple2) -> rule7) triple3) -> rule5) OR ((((triple2) -> rule7) triple5) -> rule6))] @2: Charlie is cold.[(((((triple4 triple3) -> rule5) triple4) -> rule8) OR ((((triple4 triple5) -> rule6) triple4) -> rule8) OR ((((triple5 triple3) -> rule1) triple4) -> rule8) OR ((((triple4 triple3) -> rule5) ((triple2) -> rule7)) -> rule8) OR ((((triple4 triple5) -> rule6) ((triple2) -> rule7)) -> rule8) OR ((((triple5 triple3) -> rule1) ((triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule7) triple3) -> rule5) triple4) -> rule8) OR ((((((triple2) -> rule7) triple5) -> rule6) triple4) -> rule8) OR ((((((triple2) -> rule7) triple3) -> rule5) ((triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule7) triple5) -> rule6) ((triple2) -> rule7)) -> rule8))]