Charlie is blue. Charlie is cold. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. All blue, young things are red. Red things are nice.
Charlie is not nice.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8 OR ((triple9) -> rule2) OR ((((triple5 triple10) -> rule1)) -> rule2))] Fiona is red.[(triple9 OR ((triple5 triple10) -> rule1))] Fiona is young.[(triple10)] @1: Charlie is red.[(((triple1 triple3) -> rule1))] @2: Charlie is nice.[(((((triple1 triple3) -> rule1)) -> rule2))]