Bob is nice. Bob is red. Bob is round. Bob is white. Erin is cold. Erin is red. Erin is rough. Erin is round. Harry is nice. Harry is smart. If someone is nice and not white then they are round. If someone is white then they are round. If Erin is red and Erin is not rough then Erin is cold. If someone is nice then they are cold. If someone is rough then they are cold. If someone is white then they are smart. If someone is cold then they are red. If Bob is rough and Bob is not red then Bob is smart.
Bob is rough.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2 OR ((((triple1) -> rule4)) -> rule7))] Bob is round.[(triple3 OR ((triple4) -> rule2))] Bob is white.[(triple4)] Erin is cold.[(triple5 OR ((triple7) -> rule5))] Erin is red.[(triple6 OR ((triple5) -> rule7) OR ((((triple7) -> rule5)) -> rule7))] Erin is rough.[(triple7)] Erin is round.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10)] @1: Bob is cold.[(((triple1) -> rule4))] Bob is smart.[(((triple4) -> rule6))] Harry is cold.[(((triple9) -> rule4))] @2: Harry is red.[(((((triple9) -> rule4)) -> rule7))]