Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is young. Erin is big. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is young. If Erin is round then Erin is big. If someone is red and round then they are kind. Rough people are kind. If Erin is young and Erin is red then Erin is big. If Bob is cold then Bob is kind. If someone is round then they are young.
Erin is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule5) OR ((triple5) -> rule3) OR ((triple4 triple6) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule6))] Erin is big.[(triple8 OR ((triple13) -> rule1) OR ((triple14 triple11) -> rule4) OR ((((triple13) -> rule6) triple11) -> rule4))] Erin is cold.[(triple9)] Erin is kind.[(triple10 OR ((triple12) -> rule3) OR ((triple11 triple13) -> rule2))] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14 OR ((triple13) -> rule6))]