Bob is round. Charlie is blue. Dave is not kind. Erin is red. If someone is big and cold then they are not round. If someone is nice then they are round. Cold, blue people are round. All round people are not red. Kind people are nice. All blue people are nice. If Dave is not blue then Dave is kind. Cold people are not kind.
Bob is not nice.
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Dave is not kind.[(triple3)] Erin is red.[(triple4)] @1: Bob is not red.[(((triple1) -> rule4))] Charlie is nice.[(((triple2) -> rule6))] @2: Charlie is round.[(((((triple2) -> rule6)) -> rule2))] @3: Charlie is not red.[(((((((triple2) -> rule6)) -> rule2)) -> rule4))]