Charlie is furry. Dave is big. Fiona is furry. If someone is red and not furry then they are cold. All furry, kind people are red. If someone is furry then they are red. All cold, smart people are big. Smart people are young. All red people are smart.
Dave is red.
@0: Charlie is furry.[(triple1)] Dave is big.[(triple2)] Fiona is furry.[(triple3)] @1: Charlie is red.[(((triple1) -> rule3))] Fiona is red.[(((triple3) -> rule3))] @2: Charlie is smart.[(((((triple1) -> rule3)) -> rule6))] Fiona is smart.[(((((triple3) -> rule3)) -> rule6))] @3: Charlie is young.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))] Fiona is young.[(((((((triple3) -> rule3)) -> rule6)) -> rule5))]