Bob is rough. Erin is round. If someone is blue then they are young. All rough people are young. If Erin is blue and Erin is not rough then Erin is big.
Erin is not round.
@0: Bob is rough.[(triple1)] Erin is round.[(triple2)] @1: Bob is young.[(((triple1) -> rule2))]