Bob is blue. Bob is cold. Bob is furry. Bob is red. Dave is cold. Dave is kind. Dave is smart. Erin is big. Erin is not blue. Erin is kind. Erin is red. Erin is smart. Harry is blue. Harry is red. Harry is smart. If something is blue then it is big. Red, blue things are big. All big, furry things are smart. If Erin is smart then Erin is furry. Blue, smart things are not kind. If something is red and not smart then it is not kind.
Erin is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is smart.[(triple7)] Erin is big.[(triple8)] Erin is kind.[(triple10)] Erin is not blue.[(triple9)] Erin is red.[(triple11)] Erin is smart.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Bob is big.[(((triple1) -> rule1) OR ((triple4 triple1) -> rule2))] Erin is furry.[(((triple12) -> rule4))] Harry is big.[(((triple13) -> rule1) OR ((triple14 triple13) -> rule2))] Harry is not kind.[(((triple13 triple15) -> rule5))] @2: Bob is smart.[(((((triple1) -> rule1) triple3) -> rule3) OR ((((triple4 triple1) -> rule2) triple3) -> rule3))] @3: Bob is not kind.[(((triple1 ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((triple1 ((((triple4 triple1) -> rule2) triple3) -> rule3)) -> rule5))]