Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is white. Erin is nice. Erin is smart. Erin is white. Harry is cold. Harry is kind. Harry is red. Harry is smart. If someone is white and kind then they are red. All red people are round. All round people are white.
Harry is nice.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3 OR ((((triple4 triple2) -> rule1)) -> rule2))] Charlie is white.[(triple4 OR ((triple3) -> rule3))] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7 OR ((triple9 triple5) -> rule1))] Dave is smart.[(triple8)] Dave is white.[(triple9 OR ((((triple7) -> rule2)) -> rule3))] Erin is nice.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is red.[(((triple4 triple2) -> rule1) OR ((((triple3) -> rule3) triple2) -> rule1))] Dave is round.[(((triple7) -> rule2) OR ((((triple9 triple5) -> rule1)) -> rule2))] Harry is round.[(((triple15) -> rule2))] @2: Harry is white.[(((((triple15) -> rule2)) -> rule3))]