Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is round. Bob is young. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is round. Erin is young. All big, cold people are kind. If Erin is round and Erin is young then Erin is kind.
Erin is red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple1 triple3) -> rule1))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11 OR ((triple13 triple14) -> rule2) OR ((triple8 triple10) -> rule1))] Erin is red.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14)]