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