Bob is big. Dave is furry. Erin is furry. Fiona is big. Furry people are red. All furry people are rough.
Dave is not red.
@0: Bob is big.[(triple1)] Dave is furry.[(triple2)] Erin is furry.[(triple3)] Fiona is big.[(triple4)] @1: Dave is red.[(((triple2) -> rule1))] Dave is rough.[(((triple2) -> rule2))] Erin is red.[(((triple3) -> rule1))] Erin is rough.[(((triple3) -> rule2))]