Bob is rough. Dave is blue. Fiona is big. Big people are white. Cold, smart people are blue. If Dave is blue then Dave is rough. If Fiona is rough then Fiona is red. If someone is blue then they are smart. All white people are blue. If someone is red then they are cold. Big, rough people are cold.
Bob is not rough.
@0: Bob is rough.[(triple1)] Dave is blue.[(triple2)] Fiona is big.[(triple3)] @1: Dave is rough.[(((triple2) -> rule3))] Dave is smart.[(((triple2) -> rule5))] Fiona is white.[(((triple3) -> rule1))] @2: Fiona is blue.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is smart.[(((((((triple3) -> rule1)) -> rule6)) -> rule5))]