Anne is big. Bob is round. Dave is young. Fiona is young. If someone is round then they are young. If someone is big then they are round. If someone is rough then they are round. White, quiet people are young. If someone is young then they are rough. If Bob is blue then Bob is round. If someone is young then they are round. All blue people are big.
Dave is big.
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Dave is young.[(triple3)] Fiona is young.[(triple4)] @1: Anne is round.[(((triple1) -> rule2))] Bob is young.[(((triple2) -> rule1))] Dave is rough.[(((triple3) -> rule5))] Dave is round.[(((triple3) -> rule7) OR ((((triple3) -> rule5)) -> rule3))] Fiona is rough.[(((triple4) -> rule5))] Fiona is round.[(((triple4) -> rule7) OR ((((triple4) -> rule5)) -> rule3))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule1))] Bob is rough.[(((((triple2) -> rule1)) -> rule5))] @3: Anne is rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]