Charlie is smart. Charlie is white. Dave is blue. Dave is kind. Dave is smart. Dave is white. Fiona is big. Harry is big. Harry is kind. Harry is rough. Harry is round. Harry is white. All white, smart people are rough. Big people are blue.
Charlie is white.
@0: Charlie is smart.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Charlie is rough.[(((triple2 triple1) -> rule1))] Dave is rough.[(((triple6 triple5) -> rule1))] Fiona is blue.[(((triple7) -> rule2))] Harry is blue.[(((triple8) -> rule2))]