Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. Harry is big. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. If Charlie is big and Charlie is red then Charlie is young. If something is kind then it is big. Big things are red.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Fiona is big.[(triple5 OR ((triple6) -> rule2))] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] Harry is big.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple11) -> rule3))] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Charlie is big.[(((triple1) -> rule2))] Fiona is red.[(((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule3))] @3: Charlie is young.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule1))]