Charlie is big. Charlie is blue. Charlie is red. Dave is big. Dave is blue. Dave is red. Dave is white. If someone is red and not furry then they are round. All red people are round. If Charlie is white then Charlie is not rough. If Charlie is not big then Charlie is rough. All rough, red people are not blue. White, furry people are not rough. If Charlie is furry then Charlie is round. If Charlie is furry and Charlie is not rough then Charlie is round.
Dave is not big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is red.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] @1: Charlie is round.[(((triple3) -> rule2))] Dave is round.[(((triple6) -> rule2))]