Charlie is big. Charlie is not nice. Charlie is red. Charlie is rough. Charlie is not smart. Dave is not big. Dave is kind. Dave is not nice. Dave is not red. Dave is not rough. Dave is round. Dave is smart. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. If someone is nice then they are red. Big, rough people are round. All nice people are big.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not smart.[(triple5)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is kind.[(triple7)] Dave is not big.[(triple6)] Dave is not nice.[(triple8)] Dave is not red.[(triple9)] Dave is not rough.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12)] Fiona is nice.[(triple13)] Fiona is red.[(triple14 OR ((triple13) -> rule1))] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Charlie is round.[(((triple1 triple4) -> rule2))] Fiona is big.[(((triple13) -> rule3))]