Bob is not big. Bob is not blue. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. Erin is not big. Erin is blue. Erin is round. All blue things are smart. White, big things are red. If Bob is big then Bob is not white. If something is big and red then it is not white. All round things are white. If Erin is round and Erin is white then Erin is red. If Erin is not big then Erin is round. If something is blue then it is nice.
Erin is red.
@0: Bob is nice.[(triple3)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule5))] Erin is blue.[(triple9)] Erin is not big.[(triple8)] Erin is round.[(triple10 OR ((triple8) -> rule7))] @1: Erin is nice.[(((triple9) -> rule8))] Erin is smart.[(((triple9) -> rule1))] Erin is white.[(((triple10) -> rule5) OR ((((triple8) -> rule7)) -> rule5))] @2: Erin is red.[(((triple10 ((triple10) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((triple10) -> rule5)) -> rule6) OR ((triple10 ((((triple8) -> rule7)) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule5)) -> rule6))]