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