Bob is furry. Dave is furry. Erin is green. Harry is kind. All green people are red. If someone is kind then they are not big.
Erin is big.
@0: Bob is furry.[(triple1)] Dave is furry.[(triple2)] Erin is green.[(triple3)] Harry is kind.[(triple4)] @1: Erin is red.[(((triple3) -> rule1))] Harry is not big.[(((triple4) -> rule2))]