Bob is cold. Bob is furry. Bob is red. Bob is rough. Charlie is cold. Charlie is furry. Charlie is smart. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Harry is big. Harry is cold. Harry is rough. Harry is smart. If someone is big then they are smart. Furry people are kind. All red people are cold.
Harry is not kind.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule3))] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is smart.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((triple9) -> rule2))] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16 OR ((triple13) -> rule1))] @1: Bob is kind.[(((triple2) -> rule2))] Charlie is kind.[(((triple6) -> rule2))]