Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is young. Bob is blue. Bob is furry. Bob is red. Bob is round. Bob is young. Erin is blue. Erin is green. Erin is red. Erin is round. If something is red and green then it is round.
Bob is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple5 triple4) -> rule1))] Anne is young.[(triple7)] Bob is blue.[(triple8)] Bob is furry.[(triple9)] Bob is red.[(triple10)] Bob is round.[(triple11)] Bob is young.[(triple12)] Erin is blue.[(triple13)] Erin is green.[(triple14)] Erin is red.[(triple15)] Erin is round.[(triple16 OR ((triple15 triple14) -> rule1))]