Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is round. Charlie is white. Dave is cold. Dave is round. Dave is white. If someone is big and round then they are white. All nice, cold people are rough. If Dave is nice and Dave is cold then Dave is round. Nice people are blue. If Dave is rough and Dave is nice then Dave is big. All cold people are blue. If Dave is big then Dave is white. If Charlie is rough and Charlie is blue then Charlie is nice.
Charlie is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule4))] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5 OR ((triple4 triple3) -> rule2))] Bob is round.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8 OR ((triple10) -> rule4) OR ((triple9) -> rule6))] Charlie is cold.[(triple9)] Charlie is nice.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12 OR ((triple7 triple11) -> rule1))] Dave is cold.[(triple13)] Dave is round.[(triple14)] Dave is white.[(triple15)] @1: Bob is white.[(((triple1 triple6) -> rule1))] Charlie is rough.[(((triple10 triple9) -> rule2))] Dave is blue.[(((triple13) -> rule6))]