Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is red. Kind things are red. If Charlie is big and Charlie is red then Charlie is cold. Green things are quiet.
Harry is green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple1 triple7) -> rule2) OR ((triple1 ((triple5) -> rule1)) -> rule2))] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6 OR ((triple4) -> rule3))] Charlie is red.[(triple7 OR ((triple5) -> rule1))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13 OR ((triple11) -> rule3))] Harry is red.[(triple14 OR ((triple12) -> rule1))]