Fiona is big. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is big. Harry is nice. Harry is red. Harry is round. Harry is smart. All young, round people are big.
Fiona is big.
@0: Fiona is big.[(triple1 OR ((triple7 triple5) -> rule1))] Fiona is nice.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)]