Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is white. If Bob is red and Bob is blue then Bob is nice. If Erin is nice and Erin is young then Erin is cold. If Erin is white and Erin is red then Erin is blue.
Erin is kind.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is blue.[(triple7 OR ((triple12 triple11) -> rule3))] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12)]