Charlie is kind. Charlie is white. Dave is smart. Erin is kind. Erin is rough. Fiona is cold. Fiona is white. All young things are kind. All kind, young things are white. Big, white things are rough. White things are big. All young, kind things are white. Young, rough things are white. If something is big and kind then it is cold. If something is smart then it is kind.
Erin is smart.
@0: Charlie is kind.[(triple1)] Charlie is white.[(triple2)] Dave is smart.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Fiona is cold.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is big.[(((triple2) -> rule4))] Dave is kind.[(((triple3) -> rule8))] Fiona is big.[(((triple7) -> rule4))] @2: Charlie is cold.[(((((triple2) -> rule4) triple1) -> rule7))] Charlie is rough.[(((((triple2) -> rule4) triple2) -> rule3))] Fiona is rough.[(((((triple7) -> rule4) triple7) -> rule3))]