Bob is blue. Bob is green. Bob is kind. Bob is red. Bob is white. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is round. If something is blue and kind then it is round. If something is green then it is red.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple2) -> rule2))] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is round.[(triple10 OR ((triple6 triple9) -> rule1))] @1: Bob is round.[(((triple1 triple3) -> rule1))] Erin is red.[(((triple8) -> rule2))]