Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is young. Dave is young. Erin is cold. Erin is rough. Erin is round. Erin is young. Fiona is cold. Fiona is round. If someone is round and big then they are rough. Round people are kind.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] Fiona is cold.[(triple11)] Fiona is round.[(triple12)] @1: Erin is kind.[(((triple9) -> rule2))] Fiona is kind.[(((triple12) -> rule2))]