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