Charlie is big. Charlie is blue. Charlie is nice. Charlie is rough. Fiona is nice. Fiona is rough. Fiona is young. If someone is kind and nice then they are rough. If someone is blue and big then they are kind.
Fiona is not rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((((triple2 triple1) -> rule2) triple3) -> rule1))] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is kind.[(((triple2 triple1) -> rule2))]