Bob is nice. Bob is quiet. Bob is not white. Erin is nice. Erin is quiet. Erin is round. Fiona is big. Fiona is white. Harry is big. Harry is nice. Harry is quiet. Harry is white. Quiet people are round. Big, round people are nice. All nice people are not blue.
Fiona is nice.
@0: Bob is nice.[(triple1)] Bob is not white.[(triple3)] Bob is quiet.[(triple2)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6 OR ((triple5) -> rule1))] Fiona is big.[(triple7)] Fiona is white.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10 OR ((triple9 ((triple11) -> rule1)) -> rule2))] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Bob is not blue.[(((triple1) -> rule3))] Bob is round.[(((triple2) -> rule1))] Erin is not blue.[(((triple4) -> rule3))] Harry is not blue.[(((triple10) -> rule3) OR ((((triple9 ((triple11) -> rule1)) -> rule2)) -> rule3))] Harry is round.[(((triple11) -> rule1))]