Bob is furry. Bob is kind. Charlie is nice. Dave is furry. Erin is cold. Erin is not furry. Erin is red. If someone is nice and not furry then they are kind. Nice people are cold. If someone is furry then they are cold. If someone is big and furry then they are cold. If Bob is kind and Bob is blue then Bob is cold. All nice people are blue. Blue people are nice. If Bob is cold then Bob is blue.
Bob is red.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Charlie is nice.[(triple3)] Dave is furry.[(triple4)] Erin is cold.[(triple5)] Erin is not furry.[(triple6)] Erin is red.[(triple7)] @1: Bob is cold.[(((triple1) -> rule3))] Charlie is blue.[(((triple3) -> rule6))] Charlie is cold.[(((triple3) -> rule2))] Dave is cold.[(((triple4) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3)) -> rule8))] @3: Bob is nice.[(((((((triple1) -> rule3)) -> rule8)) -> rule7))]