Charlie is big. Charlie is red. Charlie is smart. Dave is blue. Dave is green. Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is smart. Harry is big. Harry is round. If Charlie is red and Charlie is cold then Charlie is blue. If someone is big then they are red.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2 OR ((triple1) -> rule2))] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is green.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is red.[(triple9 OR ((triple6) -> rule2))] Erin is smart.[(triple10)] Harry is big.[(triple11)] Harry is round.[(triple12)] @1: Harry is red.[(((triple11) -> rule2))]