Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Anne is young. All rough things are white. If something is quiet then it is rough. All kind things are rough. All rough things are young. All young, rough things are quiet. Young, round things are quiet.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple7 triple4) -> rule5) OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple1) -> rule3)) -> rule5) OR ((((triple4) -> rule4) triple4) -> rule5) OR ((((triple4) -> rule4) triple5) -> rule6) OR ((((triple4) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) triple4) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) triple5) -> rule6) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5))] Anne is rough.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule2) OR ((((triple7 triple5) -> rule6)) -> rule2))] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((((triple7 triple5) -> rule6)) -> rule2)) -> rule1))] Anne is young.[(triple7 OR ((triple4) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))]