Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. If something is blue then it is young. If something is young and big then it is rough.
Fiona is young.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5 OR ((triple7 triple1) -> rule2) OR ((((triple2) -> rule1) triple1) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple2) -> rule1))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is rough.[(triple12 OR ((triple14 triple8) -> rule2) OR ((((triple9) -> rule1) triple8) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple9) -> rule1))]