Bob is blue. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is white. Erin is red. Erin is rough. Erin is white. All rough, red people are kind. All smart, kind people are white. If someone is blue then they are kind.
Erin is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule3) OR ((triple5 triple4) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple1) -> rule3)) -> rule2) OR ((triple6 ((triple5 triple4) -> rule1)) -> rule2))] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] @1: Erin is kind.[(((triple9 triple8) -> rule1))]