Bob is green. Bob is quiet. Erin is nice. Erin is round. Erin is white. Fiona is big. Fiona is green. Fiona is round. Fiona is white. Fiona is young. Quiet people are young. All green, young people are white.
Bob is young.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Erin is nice.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9 OR ((triple7 triple10) -> rule2))] Fiona is young.[(triple10)] @1: Bob is young.[(((triple2) -> rule1))] @2: Bob is white.[(((triple1 ((triple2) -> rule1)) -> rule2))]