Bob is big. Erin is round. Erin is white. Fiona is round. Harry is blue. Harry is kind. Harry is round. Young things are blue. Round things are young.
Erin is not white.
@0: Bob is big.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Fiona is round.[(triple4)] Harry is blue.[(triple5 OR ((((triple7) -> rule2)) -> rule1))] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Erin is young.[(((triple2) -> rule2))] Fiona is young.[(((triple4) -> rule2))] Harry is young.[(((triple7) -> rule2))] @2: Erin is blue.[(((((triple2) -> rule2)) -> rule1))] Fiona is blue.[(((((triple4) -> rule2)) -> rule1))]