Bob is big. Bob is white. Dave is blue. Dave is rough. Dave is round. Erin is blue. Erin is white. Harry is nice. Harry is quiet. Harry is round. If Bob is round and Bob is big then Bob is white. All big, rough people are white. Rough people are round.
Erin is not blue.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple4) -> rule3))] Erin is blue.[(triple6)] Erin is white.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)]