Bob is furry. Bob is red. Dave is furry. Dave is kind. Erin is furry. Erin is kind. Erin is nice. Erin is round. Erin is smart. Fiona is green. If something is red then it is kind.
Bob is not red.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Fiona is green.[(triple10)] @1: Bob is kind.[(((triple2) -> rule1))]