Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is not young. Erin is not nice. Erin is red. Erin is round. Erin is young. If Erin is young and Erin is not nice then Erin is blue. If Erin is round then Erin is blue.
Erin is young.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is not young.[(triple6)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Erin is not nice.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] @1: Erin is blue.[(((triple9) -> rule2) OR ((triple10 triple7) -> rule1))]