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