Bob is blue. Charlie is young. Dave is young. Fiona is big. If Fiona is big then Fiona is nice. If someone is green and nice then they are red. If someone is blue then they are furry.
Bob is not red.
@0: Bob is blue.[(triple1)] Charlie is young.[(triple2)] Dave is young.[(triple3)] Fiona is big.[(triple4)] @1: Bob is furry.[(((triple1) -> rule3))] Fiona is nice.[(((triple4) -> rule1))]