Bob is young. Charlie is round. Dave is nice. Erin is big. If someone is round and not big then they are quiet. If someone is green then they are quiet. If Bob is big then Bob is quiet. Young people are green. If someone is big and not round then they are nice. All big people are young.
Erin is round.
@0: Bob is young.[(triple1)] Charlie is round.[(triple2)] Dave is nice.[(triple3)] Erin is big.[(triple4)] @1: Bob is green.[(((triple1) -> rule4))] Erin is young.[(((triple4) -> rule6))] @2: Bob is quiet.[(((((triple1) -> rule4)) -> rule2))] Erin is green.[(((((triple4) -> rule6)) -> rule4))] @3: Erin is quiet.[(((((((triple4) -> rule6)) -> rule4)) -> rule2))]