Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is smart. Bob is white. Fiona is blue. Fiona is kind. Fiona is quiet. If something is quiet and round then it is smart.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple5) -> rule1))] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is kind.[(triple10)] Bob is round.[(triple11)] Bob is smart.[(triple12)] Bob is white.[(triple13)] Fiona is blue.[(triple14)] Fiona is kind.[(triple15)] Fiona is quiet.[(triple16)]