Bob is kind. Bob is rough. Charlie is kind. Charlie is round. Charlie is white. Dave is kind. Dave is nice. Dave is smart. Dave is white. Fiona is cold. Fiona is rough. Fiona is smart. Cold, rough things are nice. All nice things are cold.
Charlie is not nice.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Fiona is cold.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is cold.[(((triple7) -> rule2))] Fiona is nice.[(((triple10 triple11) -> rule1))]