Bob is cold. Bob is quiet. Erin is cold. Erin is kind. Erin is red. Erin is smart. Erin is white. Harry is cold. Harry is kind. Harry is not red. Harry is smart. Harry is not young. All quiet, cold things are red. If something is red then it is kind.
Bob is red.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple5) -> rule2))] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is not red.[(triple10)] Harry is not young.[(triple12)] Harry is smart.[(triple11)] @1: Bob is red.[(((triple2 triple1) -> rule1))] @2: Bob is kind.[(((((triple2 triple1) -> rule1)) -> rule2))]