Charlie is big. Charlie is kind. Charlie is smart. Dave is big. Dave is not kind. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Fiona is smart. Big people are smart. All kind people are not young. All nice, kind people are not young. Big, quiet people are not kind. Big, young people are not kind. If someone is big then they are nice.
Dave is not kind.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3 OR ((triple1) -> rule1))] Dave is big.[(triple4)] Dave is nice.[(triple6 OR ((triple4) -> rule6))] Dave is not kind.[(triple5 OR ((triple4 triple7) -> rule4))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((triple4) -> rule1))] Fiona is smart.[(triple10)] @1: Charlie is nice.[(((triple1) -> rule6))] Charlie is not young.[(((triple2) -> rule2) OR ((((triple1) -> rule6) triple2) -> rule3))]