Anne is big. Anne is red. Bob is blue. Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Fiona is big. Fiona is round. All quiet people are young. All blue people are round.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Bob is blue.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple3) -> rule2))] Bob is white.[(triple7)] Bob is young.[(triple8 OR ((triple4) -> rule1))] Fiona is big.[(triple9)] Fiona is round.[(triple10)]