Bob is kind. Bob is nice. Bob is young. Charlie is kind. Charlie is red. Charlie is not rough. Charlie is not round. Charlie is white. Charlie is young. Erin is kind. Erin is not red. Erin is rough. Erin is round. Erin is white. Erin is not young. If Erin is white then Erin is rough. If Erin is young then Erin is rough. If someone is rough and not red then they are white. All young, rough people are not white. All red, nice people are not round. If Erin is red then Erin is young. Red people are young. If Erin is kind then Erin is round.
Erin is round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is not rough.[(triple6)] Charlie is not round.[(triple7)] Charlie is red.[(triple5)] Charlie is white.[(triple8)] Charlie is young.[(triple9 OR ((triple5) -> rule7))] Erin is kind.[(triple10)] Erin is not red.[(triple11)] Erin is not young.[(triple15)] Erin is rough.[(triple12 OR ((triple14) -> rule1))] Erin is round.[(triple13 OR ((triple10) -> rule8))] Erin is white.[(triple14 OR ((triple12 triple11) -> rule3))]