Bob is not cold. Bob is kind. Bob is not round. Bob is smart. Charlie is rough. Charlie is round. Charlie is smart. Dave is nice. Dave is rough. Dave is round. Erin is not cold. Erin is rough. All cold, nice people are not rough. Nice, kind people are not blue. If Dave is blue and Dave is not cold then Dave is smart. If someone is blue then they are smart. If someone is rough then they are smart. If Bob is not round then Bob is rough. If someone is kind and smart then they are nice. All round people are kind.
Erin is not blue.
@0: Bob is kind.[(triple2)] Bob is not cold.[(triple1)] Bob is not round.[(triple3)] Bob is smart.[(triple4 OR ((((triple3) -> rule6)) -> rule5))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule5))] Dave is nice.[(triple8 OR ((((triple10) -> rule8) ((triple9) -> rule5)) -> rule7))] Dave is rough.[(triple9)] Dave is round.[(triple10)] Erin is not cold.[(triple11)] Erin is rough.[(triple12)] @1: Bob is nice.[(((triple2 triple4) -> rule7) OR ((triple2 ((((triple3) -> rule6)) -> rule5)) -> rule7))] Bob is rough.[(((triple3) -> rule6))] Charlie is kind.[(((triple6) -> rule8))] Dave is kind.[(((triple10) -> rule8))] Dave is smart.[(((triple9) -> rule5))] Erin is smart.[(((triple12) -> rule5))] @2: Bob is not blue.[(((((triple2 triple4) -> rule7) triple2) -> rule2) OR ((((triple2 ((((triple3) -> rule6)) -> rule5)) -> rule7) triple2) -> rule2))] Charlie is nice.[(((((triple6) -> rule8) triple7) -> rule7) OR ((((triple6) -> rule8) ((triple5) -> rule5)) -> rule7))] Dave is not blue.[(((triple8 ((triple10) -> rule8)) -> rule2) OR ((((((triple10) -> rule8) ((triple9) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule2))] @3: Charlie is not blue.[(((((((triple6) -> rule8) triple7) -> rule7) ((triple6) -> rule8)) -> rule2) OR ((((((triple6) -> rule8) ((triple5) -> rule5)) -> rule7) ((triple6) -> rule8)) -> rule2))]