Bob is blue. Bob is red. Bob is not rough. Bob is white. Bob is young. Dave is big. Dave is blue. Erin is big. Erin is red. Erin is rough. Erin is white. Erin is young. If Bob is blue and Bob is not big then Bob is not red. If someone is quiet and blue then they are white. If Erin is rough then Erin is blue. Young, big people are blue. If Bob is quiet and Bob is big then Bob is rough. Young people are red.
Bob is red.
@0: Bob is blue.[(triple1)] Bob is not rough.[(triple3)] Bob is red.[(triple2 OR ((triple5) -> rule6))] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Erin is big.[(triple8)] Erin is red.[(triple9 OR ((triple12) -> rule6))] Erin is rough.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Erin is blue.[(((triple10) -> rule3) OR ((triple12 triple8) -> rule4))]