Anne is blue. Anne is green. Anne is round. Bob is blue. Bob is rough. Bob is round. Fiona is green. Fiona is rough. Fiona is round. Harry is blue. Harry is green. Harry is kind. If Fiona is rough and Fiona is round then Fiona is green.
Bob is not big.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Bob is blue.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Fiona is green.[(triple7 OR ((triple8 triple9) -> rule1))] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)]