Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. All red, nice people are rough. If someone is round then they are kind. If someone is kind and red then they are young. If someone is nice then they are kind. All nice people are kind. All white people are rough.
Anne is red.
@0: Anne is kind.[(triple1 OR ((triple2) -> rule4) OR ((triple2) -> rule5) OR ((triple5) -> rule2))] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple6) -> rule6) OR ((triple3 triple2) -> rule1))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple3) -> rule3) OR ((((triple2) -> rule4) triple3) -> rule3) OR ((((triple2) -> rule5) triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3))]