Bob is cold. Bob is white. Charlie is cold. Charlie is round. Charlie is smart. Charlie is white. Dave is white. Erin is big. Erin is round. Erin is white. Smart people are blue. If Bob is round then Bob is white. If someone is white and cold then they are big. If someone is cold then they are blue. If someone is blue then they are white. If someone is big then they are blue. Smart people are white. All cold people are blue.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2 OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule8)) -> rule5))] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple5) -> rule7) OR ((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] Dave is white.[(triple7)] Erin is big.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((((triple8) -> rule6)) -> rule5))] @1: Bob is big.[(((triple2 triple1) -> rule3) OR ((((((triple1) -> rule4)) -> rule5) triple1) -> rule3) OR ((((((triple1) -> rule8)) -> rule5) triple1) -> rule3))] Bob is blue.[(((triple1) -> rule4) OR ((triple1) -> rule8) OR ((((triple2 triple1) -> rule3)) -> rule6))] Charlie is big.[(((triple6 triple3) -> rule3) OR ((((triple5) -> rule7) triple3) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) triple3) -> rule3) OR ((((((triple3) -> rule8)) -> rule5) triple3) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) triple3) -> rule3))] Charlie is blue.[(((triple3) -> rule4) OR ((triple3) -> rule8) OR ((triple5) -> rule1) OR ((((triple6 triple3) -> rule3)) -> rule6) OR ((((((triple5) -> rule7) triple3) -> rule3)) -> rule6))] Erin is blue.[(((triple8) -> rule6))]