Anne is nice. Anne is round. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. If Anne is round then Anne is young. All kind people are smart. Kind people are smart. If someone is young and not kind then they are not nice. If Anne is young then Anne is red. If Charlie is round and Charlie is smart then Charlie is nice.
Anne is kind.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Charlie is nice.[(triple3 OR ((triple5 triple6) -> rule6))] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] @1: Anne is young.[(((triple2) -> rule1))] @2: Anne is red.[(((((triple2) -> rule1)) -> rule5))]