Charlie is cold. Charlie is green. Erin is not big. Erin is not blue. Erin is not nice. Erin is smart. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is smart. Harry is young. Big things are green. All big, young things are green. If something is big and not young then it is not smart. If Charlie is cold and Charlie is not young then Charlie is not big. If something is big then it is cold. If Charlie is young and Charlie is not big then Charlie is blue. If Charlie is nice then Charlie is blue. Smart, blue things are nice.
Erin is not blue.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Erin is not big.[(triple3)] Erin is not blue.[(triple4)] Erin is not nice.[(triple5)] Erin is smart.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple7) -> rule5))] Harry is green.[(triple10 OR ((triple7) -> rule1) OR ((triple7 triple12) -> rule2))] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Harry is nice.[(((triple11 triple8) -> rule8))]