Anne is green. Anne is nice. Anne is quiet. Anne is smart. Bob is nice. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Harry is white. If someone is white and green then they are round. If someone is quiet and red then they are smart.
Harry is green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Bob is nice.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8 OR ((triple9 triple6) -> rule1))] Fiona is white.[(triple9)] Harry is white.[(triple10)]