Bob is not red. Charlie is red. Charlie is round. Dave is not white. Erin is nice. Erin is red. Erin is white. All nice people are white. Young people are not white. If Erin is not red then Erin is young. If Dave is not young then Dave is cold. If Charlie is red then Charlie is nice. If someone is round and white then they are not cold. If someone is white then they are smart. If Bob is white then Bob is not smart.
Dave is smart.
@0: Bob is not red.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Dave is not white.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule1))] @1: Charlie is nice.[(((triple2) -> rule5))] Erin is smart.[(((triple7) -> rule7) OR ((((triple5) -> rule1)) -> rule7))] @2: Charlie is white.[(((((triple2) -> rule5)) -> rule1))] @3: Charlie is not cold.[(((triple3 ((((triple2) -> rule5)) -> rule1)) -> rule6))] Charlie is smart.[(((((((triple2) -> rule5)) -> rule1)) -> rule7))]