Anne is big. Bob is blue. Bob is green. Bob is nice. Bob is young. Fiona is big. Fiona is nice. Harry is big. Harry is green. Harry is round. If someone is young and big then they are round. If someone is big then they are nice.
Fiona is young.
@0: Anne is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is young.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] @1: Anne is nice.[(((triple1) -> rule2))] Harry is nice.[(((triple8) -> rule2))]