Anne is big. Anne is kind. Anne is rough. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Big, rough things are furry. If something is furry and nice then it is big.
Erin is furry.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Erin is big.[(triple4 OR ((triple5 triple7) -> rule2))] Erin is furry.[(triple5 OR ((triple4 triple8) -> rule1))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Fiona is big.[(triple10 OR ((triple11 triple13) -> rule2))] Fiona is furry.[(triple11 OR ((triple10 triple14) -> rule1))] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Anne is furry.[(((triple1 triple3) -> rule1))]