Bob is nice. Erin is furry. Gary is cold. Harry is not round. If Erin is nice then Erin is not kind. If someone is furry then they are smart. All nice people are smart. If Erin is round then Erin is cold. All furry, smart people are nice. If someone is kind then they are cold. If someone is round then they are cold. If someone is blue then they are furry.
Erin is nice.
@0: Bob is nice.[(triple1)] Erin is furry.[(triple2)] Gary is cold.[(triple3)] Harry is not round.[(triple4)] @1: Bob is smart.[(((triple1) -> rule3))] Erin is smart.[(((triple2) -> rule2))] @2: Erin is nice.[(((triple2 ((triple2) -> rule2)) -> rule5))] @3: Erin is not kind.[(((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1))]