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