Bob is cold. Dave is not rough. Erin is red. Fiona is not big. If someone is rough then they are kind. If someone is rough and not red then they are kind. Red people are cold. If someone is cold then they are rough. If Dave is white and Dave is not red then Dave is big. If Dave is furry and Dave is white then Dave is kind. If someone is white and not rough then they are big. If someone is big and not rough then they are not furry.
Bob is red.
@0: Bob is cold.[(triple1)] Dave is not rough.[(triple2)] Erin is red.[(triple3)] Fiona is not big.[(triple4)] @1: Bob is rough.[(((triple1) -> rule4))] Erin is cold.[(((triple3) -> rule3))] @2: Bob is kind.[(((((triple1) -> rule4)) -> rule1))] Erin is rough.[(((((triple3) -> rule3)) -> rule4))] @3: Erin is kind.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]