Anne is red. Bob is nice. Dave is big. Erin is round. All furry people are not kind. All round, furry people are smart. If someone is smart and not furry then they are round. Red people are nice. If someone is red and not kind then they are not nice. If someone is red and not kind then they are not big. All big, furry people are red. If someone is nice then they are red.
Dave is big.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Dave is big.[(triple3)] Erin is round.[(triple4)] @1: Anne is nice.[(((triple1) -> rule4))] Bob is red.[(((triple2) -> rule8))]