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