Charlie is cold. Erin is cold. If something is smart and blue then it is kind. Cold things are blue. All blue things are smart. If Erin is smart and Erin is cold then Erin is furry. If something is smart and cold then it is furry. If something is cold then it is nice. All cold things are furry. All quiet things are furry.
Charlie is not quiet.
@0: Charlie is cold.[(triple1)] Erin is cold.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule2))] Charlie is furry.[(((triple1) -> rule7) OR ((((((triple1) -> rule2)) -> rule3) triple1) -> rule5))] Charlie is nice.[(((triple1) -> rule6))] Erin is blue.[(((triple2) -> rule2))] Erin is furry.[(((triple2) -> rule7) OR ((((((triple2) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule2)) -> rule3) triple2) -> rule5))] Erin is nice.[(((triple2) -> rule6))] @2: Charlie is smart.[(((((triple1) -> rule2)) -> rule3))] Erin is smart.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is kind.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1))] Erin is kind.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule1))]