Anne is big. Anne is green. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is young. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Fiona is young. If someone is kind and round then they are green. If Fiona is kind and Fiona is smart then Fiona is rough. If someone is round then they are green.
Fiona is round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule3) OR ((triple3 triple5) -> rule1))] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is green.[(triple8 OR ((triple10) -> rule3) OR ((triple9 triple10) -> rule1))] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is rough.[(((triple9 triple11) -> rule2))]