Fiona is big. Fiona is blue. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Harry is big. Harry is blue. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. All rough, young people are white. If Fiona is quiet and Fiona is big then Fiona is rough. If someone is white and quiet then they are round.
Fiona is white.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple4 OR ((triple3 triple1) -> rule2))] Fiona is round.[(triple5 OR ((triple6 triple3) -> rule3) OR ((((triple4 triple7) -> rule1) triple3) -> rule3) OR ((((((triple3 triple1) -> rule2) triple7) -> rule1) triple3) -> rule3))] Fiona is white.[(triple6 OR ((triple4 triple7) -> rule1) OR ((((triple3 triple1) -> rule2) triple7) -> rule1))] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple13 triple10) -> rule3) OR ((((triple11 triple14) -> rule1) triple10) -> rule3))] Harry is white.[(triple13 OR ((triple11 triple14) -> rule1))] Harry is young.[(triple14)]