Bob is rough. Bob is white. Charlie is round. Charlie is white. Erin is rough. Erin is young. Harry is smart. Smart things are red. If something is blue and young then it is red. Round things are red. Rough things are red. If something is round then it is red. Blue, round things are smart.
Erin is white.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Harry is smart.[(triple7)] @1: Bob is red.[(((triple1) -> rule4))] Charlie is red.[(((triple3) -> rule3) OR ((triple3) -> rule5))] Erin is red.[(((triple5) -> rule4))] Harry is red.[(((triple7) -> rule1))]