Charlie is blue. Charlie is green. Charlie is not smart. Dave is kind. Dave is nice. Dave is smart. Erin is not blue. Erin is not green. Erin is nice. Erin is round. Erin is smart. Harry is blue. Harry is nice. Harry is round. Harry is smart. All green things are blue. If Charlie is blue then Charlie is kind.
Dave is not blue.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is not smart.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6)] Erin is nice.[(triple9)] Erin is not blue.[(triple7)] Erin is not green.[(triple8)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Harry is blue.[(triple12)] Harry is nice.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is kind.[(((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))]